bio
|
home
|
mobile
|
papers
|
videos
Papers
https://www.itu.dk/people/sestoft/papers/weuse-sestoft.pdf
http://research.microsoft.com/en-us/um/people/simonpj/Papers/excel/excel.pdf
http://r.cs.purdue.edu/pub/ecoop12.pdf
https://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.pdf