Essentials of programming languages.
From MaRDI portal
Publication:2736592
zbMATH Open0994.68020MaRDI QIDQ2736592FDOQ2736592
Authors: Daniel P. Friedman, Mitchell Wand, Christopher T. Haynes
Publication date: 11 September 2001
Recommendations
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)