4 ms·Programming Languages and Lambda Calculi3 points by socratees 18y agoqwph 18y agoI think this is the non-scribd version: http://www.cs.utah.edu/plt/publications/pllc.pdf http://www.cs.utah.edu/plt/publications/pllc.pdf