Memory trees and Taylor expansion of the lambda|-calculus (2012) [pdf] | Dark Hacker News