scientific article; zbMATH DE number 1953273

zbMATH Open1026.68020MaRDI QIDQ4414725FDOQ4414725

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

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (13)

• Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
• (In)efficiency and reasonable cost models
• Title not available (Why is that?)
• The Negligible and Yet Subtle Cost of Pattern Matching
• Constant time parallel computations in \(\lambda\)-calculus
• A Fresh Look at the λ-Calculus
• Open call-by-value
• A two-valued logic for properties of strict functional programs allowing partial functions
• On the value of variables
• Shrinking lambda expressions in linear time
• On the value of variables
• Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits
• The useful MAM, a reasonable implementation of the strong \(\lambda\)-calculus

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)