scientific article; zbMATH DE number 675533

zbMath0809.68079MaRDI QIDQ4311530

Geoffrey L. Burn

Publication date: 27 October 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

functional programmingtyped lambda calculuslazy functional languages

Mathematics Subject Classification ID

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

Related Items

Lazy rewriting and eager machinery, Projections for polymorphic first-order strictness analysis, Safety of Nöcker's strictness analysis, Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis^†, The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving, Deciding inclusion of set constants over infinite non-strict data structures, Context-sensitive rewriting strategies