scientific article; zbMATH DE number 1956563

MaRDI QIDQ4417903zbMATH OpenFDO

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

Publication date 30 July 2003

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
• scientific article; zbMATH DE number 1738299
• An investigation of Jones optimality and BTI-universal specializers
• scientific article; zbMATH DE number 177846
• 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
• scientific article; zbMATH DE number 1738299 (Why is no real title available?)
• On Jones-Optimal Specializers: A Case Study Using Unmix
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

This page was built for publication:

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