scientific article; zbMATH DE number 1953273

MaRDI QIDQ4414725zbMATH OpenFDO

Authors David Sands, Jörgen Gustavsson, Andrew Moran

Publication date 27 July 2003

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• The call-by-need lambda calculus
• On the value of variables
• scientific article; zbMATH DE number 1231468
• The call-by-need lambda calculus
• Call-by-name, call-by-value, call-by-need and the linear lambda calculus

Cited in

(17)

• (In)efficiency and reasonable cost models
• On the value of variables
• The useful MAM, a reasonable implementation of the strong -calculus
• On the value of variables
• Open call-by-value
• A two-valued logic for properties of strict functional programs allowing partial functions
• Shrinking lambda expressions in linear time
• scientific article; zbMATH DE number 1942456 (Why is no real title available?)
• scientific article; zbMATH DE number 1456965 (Why is no real title available?)
• The Negligible and Yet Subtle Cost of Pattern Matching
• A Fresh Look at the λ-Calculus
• Constant time parallel computations in \(\lambda\)-calculus
• Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
• Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits
• Positive focusing is directly useful
• IMELL cut elimination with linear overhead
• Reasonable space for the -calculus, logarithmically

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