Pages that link to "Item:Q1290339"
From MaRDI portal
The following pages link to Scheme: A interpreter for extended lambda calculus (Q1290339):
Displaying 9 items.
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- A syntactic correspondence between context-sensitive calculi and abstract machines (Q879356) (← links)
- On the dynamic extent of delimited continuations (Q1044694) (← links)
- A syntactic theory of sequential control (Q1101435) (← links)
- A theory for program and data type specification (Q1199933) (← links)
- Output driven interpretation of recursive programs, or writing creates and destroys data structures (Q1238624) (← links)
- Making computational sense of Montague's intensional logic (Q1247414) (← links)
- A syntactic theory of sequential state (Q1263961) (← links)
- Capsules and Closures (Q5739358) (← links)
