Extended ML: An institution-independent framework for formal program development

This publication has 15 references indexed in Scilit:

• A study in the foundations of programming methodology: Specifications, institutions, charters and parchments
  Published by Springer Nature ,1986
• Program specification and development in standard ML
  Published by Association for Computing Machinery (ACM) ,1985
• Modules for standard ML
  Published by Association for Computing Machinery (ACM) ,1984
• Introducing institutions
  Published by Springer Nature ,1984
• The IOTA Programming System
  Lecture Notes in Computer Science, 1983
• Algebraic implementation of abstract data types
  Theoretical Computer Science, 1982
• On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
  Journal of the ACM, 1982
• Partial abstract types
  Acta Informatica, 1982
• The semantics of clear, a specification language
  Published by Springer Nature ,1980
• Axioms for abstract model theory
  Annals of Mathematical Logic, 1974