Xiaochu Qi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4 Gopalan Nadathur, Xiaochu Qi: Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. LPAR 2005: 110-124

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)

1 Gopalan Nadathur, Xiaochu Qi: Explicit substitutions in the reduction of lambda terms. PPDP 2003: 195-206

Selection of 3 from 5 records - Xiaochu Qi has 2 coauthors

4		Gopalan Nadathur, Xiaochu Qi: Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. LPAR 2005: 110-124
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)
1		Gopalan Nadathur, Xiaochu Qi: Explicit substitutions in the reduction of lambda terms. PPDP 2003: 195-206