scientific article; zbMATH DE number 1497776

zbMATH Open0958.68039MaRDI QIDQ4499191FDOQ4499191

Authors: Jörgen Gustavsson, David Sands 

Publication date: 6 March 2001

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

Recommendations

• Possibilities and limitations of call-by-need space improvement
• scientific article; zbMATH DE number 512897
• scientific article; zbMATH DE number 1497774
• The call-by-need lambda calculus

zbMATH Keywords

space-safe inlining

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Functional programming and lambda calculus (68N18)

Cited In (3)

• A new criterion for safe program transformations
• A bisimulation-like proof method for contextual properties in untyped \(\lambda \)-calculus with references and deallocation
• Possibilities and limitations of call-by-need space improvement

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