The development of a partial evaluator for extended lambda calculus

DOI10.1007/BF02665950zbMath0906.03013MaRDI QIDQ1264617

K. Appert

Publication date: 19 November 1998

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

partial evaluationextended higher order lambda calculus

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Uses Software

• APS-1
• APS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Programming in equational logic: Beyond strong sequentiality
• The lambda calculus, its syntax and semantics
• Computations in APS
• Efficient self-interpretation in lambda calculus
• A partial evaluator for the untyped lambda-calculus
• Introduction to generalized type systems

This page was built for publication: The development of a partial evaluator for extended lambda calculus