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

Gopalan Nadathur, Xiaochu Qi

Browse the full LPAR paper archive.