First-Order Laziness [pdf]
microsoft.com