scientific article; zbMATH DE number 2080287

MaRDI QIDQ4472541zbMATH OpenFDO

Authors Adam Fischbach, John Hannan

Publication date 4 August 2004

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• Specification and correctness of lambda lifting This material is based upon work supported by the National Science Foundation under Grant No. 9900918.
• scientific article; zbMATH DE number 1696598
• scientific article; zbMATH DE number 3907750
• Lambda-lifting in quadratic time
• scientific article; zbMATH DE number 1942456

Cited in

(5)

• Specification and correctness of lambda lifting This material is based upon work supported by the National Science Foundation under Grant No. 9900918.
• scientific article; zbMATH DE number 713864 (Why is no real title available?)
• scientific article; zbMATH DE number 1696598 (Why is no real title available?)
• scientific article; zbMATH DE number 3907750 (Why is no real title available?)
• Lambda-lifting in quadratic time

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