(Relational) programming laws in the boom hierarchy of types
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 163-190
- https://doi.org/10.1007/3-540-56625-2_13
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Elements of a relational theory of datatypesPublished by Springer Nature ,1993
- Lectures on Constructive Functional ProgrammingPublished by Springer Nature ,1989
- Relationen und GraphenPublished by Springer Nature ,1989
- Laws of programmingCommunications of the ACM, 1987
- An Introduction to the Theory of ListsPublished by Springer Nature ,1987
- Transformational programming and the paragraph problemScience of Computer Programming, 1986
- A Couple of Novelties in the Propositional CalculusMathematical Logic Quarterly, 1985
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978