187 citations · 321 across the 15 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2010★ 10 cited
Lazy Evaluation and Delimited Control
Ronald Garcia, Andrew Lumsdaine, Amr Sabry
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a serie…
cs.PL2007
A Language for Generic Programming in the Large
Jeremy G. Siek, Andrew Lumsdaine
Generic programming is an effective methodology for developing reusable software libraries. Many programming languages provide generics and have features for describing interfaces,…