Xiaochu Qi

	2005
4		Gopalan Nadathur, Xiaochu Qi: Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. LPAR 2005: 110-124
	2004
3		Xiaochu Qi: Reduction Strategies in Lambda Term Normalization and their Effects on Heap Usage CoRR cs.PL/0405075: (2004)
2		Chuck Liang, Gopalan Nadathur, Xiaochu Qi: Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. J. Autom. Reasoning 33(2): 89-132 (2004)
	2003
1		Gopalan Nadathur, Xiaochu Qi: Explicit substitutions in the reduction of lambda terms. PPDP 2003: 195-206

Coauthor Index

1	Chuck Liang	[2]
2	Gopalan Nadathur	[1] [2] [4]