Lambda Calculi and Linear Speedups


The equational theories at the core of most functional programming are variations on the standard lambda calculus. The bestknown of these is the call-by-value lambda calculus whose core is the value-beta computation rule (λx.M)V → M [V/x] where V is restricted to be a value rather than an arbitrary term. This paper investigates the transformational power of… (More)
DOI: 10.1007/3-540-36377-7_4


1 Figure or Table


Citations per Year

Citation Velocity: 9

Averaging 9 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics