The following pages link to Two-Level Functional Languages (Q4023587):
Displaying 14 items.
- Inverse-limit and topological aspects of abstract interpretation (Q418811) (← links)
- From CML to its process algebra (Q672132) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- CPS transformation of beta-redexes (Q1041755) (← links)
- MetaML and multi-stage programming with explicit annotations (Q1583363) (← links)
- Two-level languages for program optimization (Q1826626) (← links)
- Automatically Splitting a Two-Stage Lambda Calculus (Q2802484) (← links)
- Abstract Interpretation From a Denotational-semantics Perspective (Q2805148) (← links)
- An Action Semantics Based on Two Combinators (Q3184751) (← links)
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages (Q3644934) (← links)
- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving (Q4645809) (← links)
- On-line and off-line partial evaluation: semantic specifications and correctness proofs (Q4880487) (← links)
- Semantics-directed program analysis: A tool-maker's perspective (Q5030183) (← links)
- On the transformation between direct and continuation semantics (Q5890072) (← links)
