Comment on Types Considered HarmfulparentComments−limmeau15yProvided 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....−jules15yThanks, that is exactly what I meant :)I also found this one quite interesting: http://www.cs.brown.edu/~arjun/public/poly-contracts.pdf
Comments
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....
Thanks, that is exactly what I meant :)
I also found this one quite interesting: http://www.cs.brown.edu/~arjun/public/poly-contracts.pdf