Essentials of programming languages.

MaRDI QIDQ2736592zbMATH OpenFDO

Authors Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes

Publication date 11 September 2001

zbMATH Keywords

Scheme

Mathematics Subject Classification ID

Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Recommendations

• Concepts in Programming Languages
• Programming languages and operational semantics. An introduction.
• Programming languages: Principles and paradigms
• Foundations of programming languages
• Programming languages and operational semantics. A concise overview

Cited in

(17)

• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
• scientific article; zbMATH DE number 5070311 (Why is no real title available?)
• Unified selection from lists, arrays, and objects.
• A rewriting logic approach to operational semantics
• Foundations of programming languages
• A static simulation of dynamic delimited control
• Gradual typing using union typing with records
• Scoping strategies for distributed aspects
• A first-order one-pass CPS transformation
• A functional correspondence between call-by-need evaluators and lazy abstract machines
• scientific article; zbMATH DE number 3924098 (Why is no real title available?)
• Concepts in Programming Languages
• A rewriting logic approach to operational semantics (extended abstract)
• ``Little language project modules
• Principles of programming languages

This page was built for publication: Essentials of programming languages.

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