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 | 8571 reads
|
Browse archives
Active forum topics |
Recent comments
40 weeks 20 hours ago
40 weeks 1 day ago
40 weeks 1 day ago
1 year 10 weeks ago
1 year 14 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 18 weeks ago
1 year 23 weeks ago
1 year 23 weeks ago