The following pages link to (Q2736592):
Displaying 12 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Scoping strategies for distributed aspects (Q608347) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← 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)
- “Little language” project modules (Q5189643) (← links)
