A Lambda-Calculus Model of Programming Languages - II. Jumps and Procedures.

S. Kamal Abdali

Published in: Comput. Lang. (1976)

Keyphrases

lambda calculus
programming language
high level
general purpose
object oriented
specification language
databases
conceptual model