Quote: an applicative expression consists of lambda expressions, operator applications, and expression lists; a fundamental notation

Quotation Skeleton

Operator/operand structure, or "applicative" structure, as it will … written explicitly and prefixed to its operand(s), and … [p. 310] This paper shows that many expressions can … combinations, and by forming lists of expressions. … We call these expressions applicative expressions (AEs). … [p. 315] We started by remarking the possibility of … familiar notations [e.g., a/(2b+3)] in terms of functional application … AEs, written with syntactic variations that make them …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: reduction languages (17 items)
Topic: functional programming (43 items)
Topic: lambda calculus (14 items)