All Questions
Tagged with generic-programming computer-science
1 question
1
vote
1
answer
299
views
Formal definition of "concepts / type system" for parametric types - Where to start?
I would be interested in formally defining (and consequently demonstrating) a "type system" for, well, a type system. More specifically, I would like to explore the idea of what C++ calls concepts for ...
- 143