User loginNavigation |
archivesThe Origins and Nature of ComputationThis research workshop takes place in Israel, so I doubt many of you will come, but the program is quite interesting so you might want to google some of the titles... Sage: A Programming Language With Hybrid Type-CheckingSince we've been discussing hybrid type checking, dependent types, etc. recently...
By Paul Snively at 2006-06-04 23:52 | Functional | Implementation | Meta-Programming | Type Theory | 5 comments | other blogs | 14783 reads
|
Browse archivesActive forum topics |
Recent comments
2 weeks 5 days ago
2 weeks 5 days ago
2 weeks 5 days ago
25 weeks 4 hours ago
29 weeks 2 days ago
30 weeks 6 days ago
30 weeks 6 days ago
33 weeks 4 days ago
38 weeks 1 day ago
38 weeks 1 day ago