Two-Level Functional Languages

DOI10.1017/CBO9780511526572MaRDI QIDQ4023587zbMATH OpenOpenAlexFDO

Authors Flemming Nielson, Hanne Riis Nielson

Publication date 23 January 1993

Full work available at URL https://doi.org/10.1017/cbo9780511526572

zbMATH Keywords

abstract interpretationcombinatory logiclambda-calculuscode generationparametrized semantics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Two-level languages for program optimization
• Two-level semantics and abstract interpretation
• Automatic binding time analysis for a typed -calculus
• Two-level semantics and code generation
• Functional completeness of the mixed \(\lambda\)-calculus and combinatory logic

Cited in

(21)

• The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving
• Inter-deriving semantic artifacts for object-oriented programming
• Inverse-limit and topological aspects of abstract interpretation
• Automatically splitting a two-stage lambda calculus
• On the transformation between direct and continuation semantics
• MetaML and multi-stage programming with explicit annotations
• Programming Languages and Systems
• Two-level Grammar as a Functional Programming Language
• Abstract interpretation from a denotational-semantics perspective
• scientific article; zbMATH DE number 3938527 (Why is no real title available?)
• Two-level semantics and code generation
• On-line and off-line partial evaluation: semantic specifications and correctness proofs
• scientific article; zbMATH DE number 3947602 (Why is no real title available?)
• Automatic binding time analysis for a typed -calculus
• Two-level semantics and abstract interpretation
• CPS transformation of beta-redexes
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• Semantics-directed program analysis: a tool-maker's perspective
• An Action Semantics Based on Two Combinators
• Two-level languages for program optimization
• From CML to its process algebra

This page was built for publication: Two-Level Functional Languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4023587)