Extended ML: Past, present and future
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 297-322
- https://doi.org/10.1007/3-540-54496-8_16
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Introducing OBJPublished by Springer Nature ,2000
- Module algebraJournal of the ACM, 1990
- Specifications are not (necessarily) executableSoftware Engineering Journal, 1989
- Toward formal development of programs from algebraic specifications: Implementations revisitedActa Informatica, 1988
- Specifications in an arbitrary institutionInformation and Computation, 1988
- On observational equivalence and algebraic specificationJournal of Computer and System Sciences, 1987
- Structured algebraic specifications: A Kernel languageTheoretical Computer Science, 1986
- Natural deduction as higher-order resolutionThe Journal of Logic Programming, 1986
- Partial abstract typesActa Informatica, 1982