Essentials of programming languages.

zbMATH Open0994.68020MaRDI QIDQ2736592FDOQ2736592

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

Publication date: 11 September 2001

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

zbMATH Keywords

Scheme

Mathematics Subject Classification ID

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

Cited In (17)

• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• Title not available (Why is that?)
• A functional correspondence between monadic evaluators and abstract machines for languages with computational effects
• 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
• Title not available (Why is that?)
• 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)