Two-Level Functional Languages
From MaRDI portal
Publication:4023587
DOI10.1017/CBO9780511526572zbMATH Open0763.68023OpenAlexW1608933122MaRDI QIDQ4023587FDOQ4023587
Authors: Flemming Nielson, Hanne Riis Nielson 
Publication date: 23 January 1993
Full work available at URL: https://doi.org/10.1017/cbo9780511526572
Recommendations
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)
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
- Title not available (Why is that?)
- Two-level semantics and code generation
- On-line and off-line partial evaluation: semantic specifications and correctness proofs
- Title not available (Why is that?)
- Automatic binding time analysis for a typed \(\lambda\)-calculus
- Two-level semantics and abstract interpretation
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
- CPS transformation of beta-redexes
- 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)
