User loginNavigation |
Faking it (even better)Here's a spectacular paper by Oleg Kiselyov and Chung-chieh Shan which describes a method of faking dependent types in Haskell using type classes.
(Mentioned yesterday by Dave Menendez in the Apple Flunks... thread, but I thought the paper merited a discussion of its own) By Greg Buchholz at 2004-09-14 16:12 | LtU Forum | previous forum topic | next forum topic | other blogs | 7628 reads
|
Browse archivesActive forum topicsNew forum topics
|
Recent comments
3 hours 3 min ago
2 weeks 2 days ago
2 weeks 2 days ago
3 weeks 3 days ago
3 weeks 3 days ago
3 weeks 3 days ago
3 weeks 3 days ago
3 weeks 3 days ago
4 weeks 2 days ago
4 weeks 3 days ago