1. Structure and Interpretation of Computer Programs;Abelson,1985
2. Vincent Balat, Une étude des sommes fortes: isomorphismes et formes normales, Ph.D. Thesis, PPS, Université Denis Diderot (Paris VII), Paris, France, December 2002
3. Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums;Balat,2004
4. Memorization in type-directed partial evaluation;Balat,2002
5. Josh Berdine, Linear and Affine Typing of Continuation-Passing Style, Ph.D. Thesis, Queen Mary, University of London, 2004