User loginNavigation |
Ensuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent TypesEnsuring Correct-by-Construction Resource Usage by using Full-Spectrum Dependent Types
More ammunition for the importance of embedded domain-specific languages, dependent types, and correctness-by-construction. By Paul Snively at 2009-03-04 17:17 | DSL | Functional | Implementation | Type Theory | other blogs | 7319 reads
|
Browse archives
Active forum topics |
Recent comments
3 days 23 hours ago
1 week 10 hours ago
1 week 23 hours ago
1 week 1 day ago
1 week 1 day ago
3 weeks 2 days ago
6 weeks 5 days ago
6 weeks 6 days ago
8 weeks 4 days ago
8 weeks 4 days ago