Concepts in Programming Languages

DOI10.1017/CBO9780511804175zbMath1058.68029MaRDI QIDQ4406526

John C. Mitchell

Publication date: 25 June 2003

zbMATH Keywords

denotational semanticslambda calculusobject-oriented programming languages

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items (7)

On the enumeration of closures and environments with an application to random generation ⋮ Unnamed Item ⋮ Mapcode characterization of partial recursive maps ⋮ Hierarchical Network Formation Games ⋮ Models of quantum computation and quantum programming languages ⋮ Fault-Tolerant Aggregate Signatures ⋮ HM(X) type inference is CLP(X) solving

Uses Software

• Smalltalk
• Simula 67

This page was built for publication: Concepts in Programming Languages