User loginNavigation |
Number-Parameterized Types by Oleg KiselyovNumber-Parameterized Types by Oleg Kiselyov
Oleg shows several approaches towards encoding numbers into types and using those numbers to check list length, matching sizes for matrices or vectors. Oleg also points out connections to dependent types, phantom types, and shape-invariant programming. |
Browse archives
Active forum topics
|
Recent comments
14 weeks 2 days ago
18 weeks 4 days ago
20 weeks 1 day ago
20 weeks 1 day ago
22 weeks 6 days ago
27 weeks 3 days ago
27 weeks 3 days ago
27 weeks 6 days ago
27 weeks 6 days ago
30 weeks 5 days ago