Efficient self-interpretation in lambda calculus
From MaRDI portal
Publication:4764616
DOI10.1017/S0956796800000423zbMath0817.68051MaRDI QIDQ4764616
Publication date: 6 August 1995
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
The Impact of the Lambda Calculus in Logic and Computer Science, Directly reflective meta-programming, An investigation of Jones optimality and BTI-universal specializers, The development of a partial evaluator for extended lambda calculus, The self-reduction in lambda calculus, ASMs and Operational Algorithmic Completeness of Lambda Calculus, Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
Uses Software
Cites Work