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 | 5674 reads
|
Browse archives
Active forum topics |
Recent comments
5 days 4 hours ago
40 weeks 6 days ago
41 weeks 1 hour ago
41 weeks 1 hour ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago