[PL-sem-jr] Laziness

William Meehan meehan.w at husky.neu.edu
Wed Oct 21 15:31:31 EDT 2015

Today I will be talking about lazy evaluation and how it can be used for
amortized analysis of persistent data structures.

I will be referring to John Launchbury's 1993 POPL paper on A Natural
Semantics for Lazy Evaluation, Matt Might's blog post Implementing
Laziness, and Okasaki's Purely Functional Data Structures.

William Meehan
Northeastern University, Class of 2019
Undergraduate Grader/Tutor | CCIS
Secretary | Northeastern University Symphony Orchestra
-------------- next part --------------
HTML attachment scrubbed and removed

More information about the Pl-sem-jr mailing list