Optimizing the runtime processing of types in a higher-order logic programming language (2005)

by Gopalan Nadathur, Xiaochu Qi
Venue:Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR’05