Concepts in Programming Languages

DOI10.1017/CBO9780511804175MaRDI QIDQ4406526zbMATH OpenFDO

Authors John Mitchell

Publication date 25 June 2003

Full work available at URL https://doi.org/10.1017/CBO9780511804175

zbMATH Keywords

denotational semanticslambda calculusobject-oriented programming languages

Mathematics Subject Classification ID

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

Recommendations

• Programming languages: Principles and paradigms
• Essentials of programming languages.
• scientific article; zbMATH DE number 2231187
• scientific article; zbMATH DE number 1821297
• scientific article; zbMATH DE number 618021

Cited in

(17)

• Programming language concepts. With a chapter by Niels Hallenberg
• Foundations of programming languages
• Models of quantum computation and quantum programming languages
• Mapcode characterization of partial recursive maps
• Essentials of programming languages.
• Fault-tolerant aggregate signatures
• Hierarchical network formation games
• scientific article; zbMATH DE number 51766 (Why is no real title available?)
• scientific article; zbMATH DE number 1821297 (Why is no real title available?)
• scientific article; zbMATH DE number 1872989 (Why is no real title available?)
• scientific article; zbMATH DE number 1393358 (Why is no real title available?)
• On the enumeration of closures and environments with an application to random generation
• Counting environments and closures
• HM(X) type inference is CLP(X) solving
• scientific article; zbMATH DE number 2231187 (Why is no real title available?)
• Object-oriented programming languages: interpretation
• Principles of programming languages

Describes a project that uses

Uses Software

• Smalltalk
• Simula 67

This page was built for publication: Concepts in Programming Languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4406526)