User contributions
- 16:43, 4 August 2008 (diff | hist) . . (-2) . . m Research papers/Type systems
- 16:40, 4 August 2008 (diff | hist) . . (-1) . . Research papers/Type systems
- 12:11, 29 July 2008 (diff | hist) . . (+16) . . ItaloHaskell/Summer 2008