4 ms·
Provided that to you, a "good introduction" is something with a lambda-calculus extension and a reduction semantics, the 2002 paper by Findler and Felleisen[1]
by limmeau 16y ago
Provided that to you, a "good introduction" is something with a lambda-calculus extension and a reduction semantics, the 2002 paper by Findler and Felleisen[1] is a good read.
1. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11.4081&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.11....
- jules 16y agoThanks, that is exactly what I meant :) I also found this one quite interesting: http://www.cs.brown.edu/~arjun/public/poly-contracts.pdf http://www.cs.brown.edu/~arjun/public/poly-contracts.pdf