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 | 7695 reads
|
Browse archives
Active forum topics |
Recent comments
38 weeks 6 days ago
39 weeks 35 min ago
39 weeks 41 min ago
1 year 9 weeks ago
1 year 13 weeks ago
1 year 14 weeks ago
1 year 14 weeks ago
1 year 17 weeks ago
1 year 22 weeks ago
1 year 22 weeks ago