Natural semantics

This publication has 8 references indexed in Scilit:

• A simple applicative language: mini-ML
  Published by Association for Computing Machinery (ACM) ,1986
• Three approaches to type structure
  Published by Springer Nature ,1985
• The categorical abstract machine
  Published by Springer Nature ,1985
• Modules for standard ML
  Published by Association for Computing Machinery (ACM) ,1984
• Executable specification of static semantics
  Published by Springer Nature ,1984
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982
• Logic programming and compiler writing
  Software: Practice and Experience, 1980
• Ideas and Results in Proof Theory
  Published by Elsevier ,1971