scientific article; zbMATH DE number 1953273

zbMath1026.68020MaRDI QIDQ4414725

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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items

The Negligible and Yet Subtle Cost of Pattern Matching, Open Call-by-Value, A two-valued logic for properties of strict functional programs allowing partial functions, On the value of variables, 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, The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus, A Fresh Look at the λ-Calculus, (In)efficiency and reasonable cost models