Xiaochu Qi

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Xiaochu Qi
An Implementation of the Language Lambda Prolog Organized around Higher-Order Pattern Unification CoRR (2009)
Gopalan Nadathur, Xiaochu Qi
Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. LPAR (2005)
Chuck C. Liang, Gopalan Nadathur, Xiaochu Qi
Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. J. Autom. Reason. 33 (2) (2004)
Xiaochu Qi
Reduction Strategies in Lambda Term Normalization and their Effects on Heap Usage CoRR (2004)
Gopalan Nadathur, Xiaochu Qi
Explicit substitutions in the reduction of lambda terms. PPDP (2003)