| 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 |
