Login / Signup
Formal definition of programming languages (Panel Session): "The lambda calculus approach".
Burt M. Leavenworth
John M. Wozencraft
Published in:
ACM Annual Conference (2) (1972)
Keyphrases
</>
lambda calculus
programming language
general purpose
predicate calculus
object oriented
database query languages
high level
strongly typed
software engineering
logic programming
program understanding
denotational semantics
higher order
machine learning
open source
complex objects
knowledge base