Explicit substitutions in the reduction of lambda terms. - Gopalan Nadathur; Xiaochu Qi (PPDP, 2003)

Reduction Strategies in Lambda Term Normalization and their Effects on Heap Usage - Xiaochu Qi (CoRR, 2004)

Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. - Chuck C. Liang; Gopalan Nadathur; Xiaochu Qi (J. Autom. Reason., 2004)

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. - Gopalan Nadathur; Xiaochu Qi (LPAR, 2005)

An Implementation of the Language Lambda Prolog Organized around Higher-Order Pattern Unification - Xiaochu Qi (CoRR, 2009)