Th QuoteRef: leavBM4

QuoteRef: leavBM4_1970

topics > all references > ThesaHelp: references i-l

Topic:
evaluation in an environment
Topic:
lambda calculus
ThesaHelp:
references i-l
Topic:
function application

Reference

Leavenworth, B.M., "Towards an extensible language", Yorktown Heights, New York, IBM Thomas J. Watson Research Center, RC-2840, April 1970. Google

Other Reference

McG360

Quotations

abstract ;;Quote: a programming language is essentially notation for the application of functions to their arguments
QuoteRef: leavBM4_1970 ;;2 function application (f x)
QuoteRef: leavBM4_1970 ;;3 evaluate an item in terms of an environment
QuoteRef: leavBM4_1970 ;; an implementation of lambda calculus

Related Topics

Topic: evaluation in an environment (34 items)
Topic: lambda calculus (14 items)
ThesaHelp: references i-l (342 items)
Topic: function application (18 items)