A note on conditional expressions
- 1 November 1978
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 21 (11) , 931-933
- https://doi.org/10.1145/359642.359650
Abstract
Evaluation of a conditional expression may succeed even when the “deciding predicate” diverges and the alternatives are records (or nodes) whose fields have different content.Keywords
This publication has 4 references indexed in Scilit:
- An application of pattern matching to a problem in geometrical complexityInformation Processing Letters, 1976
- A lazy evaluatorPublished by Association for Computing Machinery (ACM) ,1976
- Correct and optimal implementations of recursion in a simple programming languageJournal of Computer and System Sciences, 1974
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965