Byron Cook, John Launchbury: Disposable Memo Functions (Extended Abstract). ICFP 1997: 310