Algebraic definition of a functional programming language and its semantic models
- 1 January 1983
- journal article
- Published by EDP Sciences in RAIRO. Informatique théorique
- Vol. 17 (2) , 137-161
- https://doi.org/10.1051/ita/1983170201371
Abstract
No abstract availableThis publication has 16 references indexed in Scilit:
- Partial abstract typesActa Informatica, 1982
- On the algebraic specification of nondeterministic programming languagesPublished by Springer Nature ,1981
- Algorithmische Sprache und ProgrammentwicklungPublished by Springer Nature ,1981
- On relations between programsPublished by Springer Nature ,1980
- Existential quantifiers in abstract data typesPublished by Springer Nature ,1979
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- The algebraic semantics of recursive program schemesPublished by Springer Nature ,1978
- Least fixed points revisitedPublished by Springer Nature ,1975
- Categories for the Working MathematicianPublished by Springer Nature ,1971
- Heterogeneous algebrasJournal of Combinatorial Theory, 1970