theory

2019-03-03 Generics as super-functions
2017-09-04 Undefined behavior can literally erase your hard disk
2017-03-15 Implementing single dispatch polymorphism
2017-03-15 Implementing multiple dispatch polymorphism
2017-03-06 Applications of substructural typing
2017-02-06 Structural rules and substructural logics