User contributions
From HaskellWiki
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
- 23:01, 14 May 2009 (hist) (diff) Simonpj/Talk:FunWithTypeFuns (comments on Fun With Type Functions paper)
- 06:46, 11 November 2008 (hist) (diff) Rank-N types (Encoding of existentials in terms of higher rank types)
(Latest | Earliest) View (newer 50) (older 50) (20 | 50 | 100 | 250 | 500)
