scientific article; zbMATH DE number 1738299

MaRDI QIDQ4529781zbMATH OpenFDO

Authors

Publication date 6 May 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2053/20530257

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1956563
• Tag-free combinators for binding-time polymorphic program generation
• scientific article; zbMATH DE number 2080288
• An investigation of Jones optimality and BTI-universal specializers
• On Jones-Optimal Specializers: A Case Study Using Unmix

Cited in

(5)

• An investigation of Jones optimality and BTI-universal specializers
• Self-quotation in a typed, intensional lambda-calculus
• An evaluation of tagging
• scientific article; zbMATH DE number 1956563 (Why is no real title available?)
• On Jones-Optimal Specializers: A Case Study Using Unmix

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 Q4529781)