[PL-sem-jr] Laziness

[William Meehan]

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.

http://dl.acm.org/citation.cfm?id=158618
http://matt.might.net/articles/implementing-laziness/
---------------------
William Meehan
Northeastern University, Class of 2019
Undergraduate Grader/Tutor | CCIS
Secretary | Northeastern University Symphony Orchestra
-------------- next part --------------
HTML attachment scrubbed and removed