Essentials of programming languages.
From MaRDI portal
Publication:2736592
Recommendations
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)