Keyword:generic oop type system

Publications
EasyChair Preprint 3631