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 | 5076 reads
|
Browse archivesActive forum topics |
Recent comments
2 weeks 22 hours ago
4 weeks 2 days ago
13 weeks 4 days ago
13 weeks 6 days ago
14 weeks 18 hours ago
21 weeks 16 hours ago
26 weeks 5 days ago
26 weeks 6 days ago
27 weeks 5 days ago
30 weeks 3 days ago