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
Citations:1 - 0 self