Polymorphism, parameterization and typing: An algebraic specification perspective

This publication has 14 references indexed in Scilit:

• ECC, an extended calculus of constructions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Module algebra
  Journal of the ACM, 1990
• Order-Sorted Equational Computation
  Published by Elsevier ,1989
• Horn clause programs with polymorphic types: Semantics and resolution
  Published by Springer Nature ,1989
• Toward formal development of programs from algebraic specifications: Implementations revisited
  Acta Informatica, 1988
• On specifications, theories, and models with higher types
  Information and Control, 1986
• Using dependent types to express modular structure
  Published by Association for Computing Machinery (ACM) ,1986
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• A kernel language for algebraic specification and implementation extended abstract
  Published by Springer Nature ,1983