The Semantics of Extended ML: A Gentle Introduction

This publication has 10 references indexed in Scilit:

• Toward formal development of programs from algebraic specifications: Parameterisation revisited
  Acta Informatica, 1992
• Book & Software Reviews
  Water International, 1989
• Toward formal development of programs from algebraic specifications: Implementations revisited
  Acta Informatica, 1988
• On observational equivalence and algebraic specification
  Journal of Computer and System Sciences, 1987
• ANNA A Language for Annotating Ada Programs
  Published by Springer Nature ,1987
• Report on the larch shared language
  Science of Computer Programming, 1986
• The Munich Project CIP
  Lecture Notes in Computer Science, 1985
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964