3 ms·Memory trees and Taylor expansion of the lambda|-calculus (2012) [pdf]1 points by sargstuff 5mo ago