The following pages link to Two-Level Functional Languages (Q4023587):
Displaying 19 items.
- Inverse-limit and topological aspects of abstract interpretation (Q418811) (← links)
- From CML to its process algebra (Q672132) (← links)
- Two-level semantics and abstract interpretation (Q911319) (← links)
- Inter-deriving semantic artifacts for object-oriented programming (Q980939) (← links)
- CPS transformation of beta-redexes (Q1041755) (← links)
- Two-level semantics and code generation (Q1095636) (← links)
- Automatic binding time analysis for a typed \(\lambda\)-calculus (Q1107512) (← links)
- Static semantics, types, and binding time analysis (Q1179698) (← 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)
- Two-level Grammar as a Functional Programming Language (Q3815542) (← 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)
