Pages that link to "Item:Q2736592"
From MaRDI portal
The following pages link to Essentials of programming languages. (Q2736592):
Displaying 16 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Scoping strategies for distributed aspects (Q608347) (← links)
- Principles of programming languages (Q947473) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Foundations of programming languages (Q1744582) (← links)
- Unified selection from lists, arrays, and objects. (Q1872688) (← links)
- A first-order one-pass CPS transformation (Q1884883) (← links)
- Gradual typing using union typing with records (Q2133461) (← links)
- A functional correspondence between call-by-need evaluators and lazy abstract machines (Q2390256) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- A functional correspondence between monadic evaluators and abstract machines for languages with computational effects (Q2566031) (← links)
- A rewriting logic approach to operational semantics (extended abstract) (Q2871834) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- (Q3698277) (← links)
- “Little language” project modules (Q5189643) (← links)
- (Q5395203) (← links)