LAND*: An AND with local bindings, a guarded LET* special form

Research output: Contribution to conferencePaperpeer-review

Abstract

Like an ordinary AND, a LAND* special form evaluates its arguments - expressions - one after another in order, until the first one that yields #f. Unlike AND, a non-#f result of one expression can be found to a fresh variable and used in the subsequent expressions. LAND* can be thought of as a combination of LET* and AND, or a generalization of COND's send operator. A LAND* form can also be considered a sequence of guarded expressions.

Original languageEnglish
Pages336
Number of pages1
Publication statusPublished - 1998
EventProceedings of the 1998 3rd ACM SIGPLAN International Conference on Functional Programming, ICFP-98 - Baltimore, MD, USA
Duration: 1998 Sept 271998 Sept 29

Conference

ConferenceProceedings of the 1998 3rd ACM SIGPLAN International Conference on Functional Programming, ICFP-98
CityBaltimore, MD, USA
Period98/9/2798/9/29

Fingerprint

Dive into the research topics of 'LAND*: An AND with local bindings, a guarded LET* special form'. Together they form a unique fingerprint.

Cite this