Keyword:generic oop type system

Papers
EasyChair Preprint no. 3631