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 | 7369 reads
|
Browse archives
Active forum topics |
Recent comments
1 week 5 days ago
5 weeks 6 days ago
6 weeks 3 days ago
6 weeks 3 days ago
8 weeks 3 days ago
8 weeks 3 days ago
8 weeks 6 days ago
8 weeks 6 days ago
9 weeks 6 days ago
10 weeks 5 days ago