scientific article; zbMATH DE number 675533

MaRDI QIDQ4311530zbMATH OpenFDO

Authors Geoffrey L. Burn

Publication date 27 October 1994

zbMATH Keywords

functional programminglazy functional languagestyped lambda calculus

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of compilers and interpreters (68N20) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 194911
• scientific article; zbMATH DE number 192881
• scientific article; zbMATH DE number 1118872
• Strictness analysis for higher-order functions
• scientific article; zbMATH DE number 53817

Cited in

(16)

• Lambda-hoisting: A transformation technique for fully lazy evaluation of functional programs
• On interpretation of functional programming languages
• Context-sensitive rewriting strategies
• A new programming technique for lazy functional languages
• Side-effect localization for lazy, purely functional languages via aspects
• A functional correspondence between call-by-need evaluators and lazy abstract machines
• Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages
• scientific article; zbMATH DE number 5136280 (Why is no real title available?)
• Safety of Nöcker's strictness analysis
• Projections for polymorphic first-order strictness analysis
• scientific article; zbMATH DE number 1118872 (Why is no real title available?)
• The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving
• Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis^†
• Purely functional lazy nondeterministic programming
• Lazy rewriting and eager machinery
• Deciding inclusion of set constants over infinite non-strict data structures

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