scientific article; zbMATH DE number 1956563

zbMATH Open1032.68571MaRDI QIDQ4417903FDOQ4417903

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cited In (5)

• An investigation of Jones optimality and BTI-universal specializers
• Self-quotation in a typed, intensional lambda-calculus
• Title not available (Why is that?)
• 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)