A Lambda-Calculus Model of Programming Languages - I. Simple Constructs.

S. Kamal Abdali

Published in: Comput. Lang. (1976)

Keyphrases

programming language
lambda calculus
high level
object oriented
general purpose
formal model
specification language
machine learning
data structure
query processing
software engineering