User loginNavigation |
Andrej Bauer on PLDOn Andrej Bauer's indispensible weblog, he posts On programming language design, which articulates some ideas about the value of safety of inductive data types, type safety, etc. Gains a thumbs up by Robert Harper. By Charles Stewart at 2009-04-22 11:06 | LtU Forum | previous forum topic | next forum topic | other blogs | 5267 reads
|
Browse archivesActive forum topics |
Recent comments
1 week 2 days ago
5 weeks 3 days ago
6 weeks 18 hours ago
6 weeks 18 hours ago
8 weeks 9 hours ago
8 weeks 9 hours ago
8 weeks 3 days ago
8 weeks 3 days ago
9 weeks 3 days ago
10 weeks 2 days ago