Sciweavers

6 search results - page 2 / 2
» Simple, partial type-inference for System F based on type-co...
Sort
View
POPL
2006
ACM
14 years 5 months ago
Specifying C++ concepts
C++ templates are key to the design of current successful mainstream libraries and systems. They are the basis of programming techniques in diverse areas ranging from conventional...
Gabriel Dos Reis, Bjarne Stroustrup