Xiaochu Qi

According to our database, Xiaochu Qi authored at least 5 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

An Implementation of the Language Lambda Prolog Organized around Higher-Order Pattern Unification

Xiaochu Qi

CoRR, 2009

2005

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

Gopalan Nadathur, Xiaochu Qi

Proceedings of the Logic for Programming, 2005

2004

Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts.

Chuck C. Liang, Gopalan Nadathur, Xiaochu Qi

J. Autom. Reason., 2004

Reduction Strategies in Lambda Term Normalization and their Effects on Heap Usage

Xiaochu Qi

CoRR, 2004

2003

Explicit substitutions in the reduction of lambda terms.

Gopalan Nadathur, Xiaochu Qi

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003