Two-Level Functional Languages
From MaRDI portal
Publication:4023587
DOI10.1017/CBO9780511526572zbMath0763.68023OpenAlexW1608933122MaRDI QIDQ4023587
Hanne Riis Nielson, Flemming Nielson
Publication date: 23 January 1993
Full work available at URL: https://doi.org/10.1017/cbo9780511526572
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (14)
On the transformation between direct and continuation semantics ⋮ An Action Semantics Based on Two Combinators ⋮ Inverse-limit and topological aspects of abstract interpretation ⋮ On-line and off-line partial evaluation: semantic specifications and correctness proofs ⋮ From CML to its process algebra ⋮ The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving ⋮ Inter-deriving semantic artifacts for object-oriented programming ⋮ Automatically Splitting a Two-Stage Lambda Calculus ⋮ Abstract Interpretation From a Denotational-semantics Perspective ⋮ Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages ⋮ Two-level languages for program optimization ⋮ CPS transformation of beta-redexes ⋮ MetaML and multi-stage programming with explicit annotations ⋮ Semantics-directed program analysis: A tool-maker's perspective
This page was built for publication: Two-Level Functional Languages
