Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages.

Gopalan Nadathur Xiaochu Qi Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. 110-124 2005 conf/lpar/2005 LPAR http://dx.doi.org/10.1007/11591191_9 db/conf/lpar/lpar2005.html#NadathurQ05