User contributions
Jump to navigation
Jump to search
- 23:01, 14 May 2009 diff hist +524 Simonpj/Talk:FunWithTypeFuns comments on Fun With Type Functions paper
- 06:46, 11 November 2008 diff hist +932 Rank-N types Encoding of existentials in terms of higher rank types