Tagging, encoding, and Jones optimality

DOI10.1007/3-540-36575-3_23MaRDI QIDQ4417903zbMATH OpenFDO

Authors Olivier Danvy, Pablo E. Martínez-López

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2618/26180335.htm

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• scientific article; zbMATH DE number 2080288
• Tag elimination and Jones-optimality. (Preliminary report)
• An investigation of Jones optimality and BTI-universal specializers
• Partial evaluation, self-application and types
• Program Development in Computational Logic

Cited in

(5)

• An investigation of Jones optimality and BTI-universal specializers
• Self-quotation in a typed, intensional lambda-calculus
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
• Tag elimination and Jones-optimality. (Preliminary report)
• On Jones-Optimal Specializers: A Case Study Using Unmix

This page was built for publication: Tagging, encoding, and Jones optimality

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