| |
| 2005 | ||
|---|---|---|
| 4 | EE | Gopalan Nadathur, Xiaochu Qi: Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. LPAR 2005: 110-124 |
| 2004 | ||
| 3 | EE | Xiaochu Qi: Reduction Strategies in Lambda Term Normalization and their Effects on Heap Usage CoRR cs.PL/0405075: (2004) |
| 2 | EE | 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 | EE | Gopalan Nadathur, Xiaochu Qi: Explicit substitutions in the reduction of lambda terms. PPDP 2003: 195-206 |
| 1 | Chuck Liang | [2] |
| 2 | Gopalan Nadathur | [1] [2] [4] |