| |
| 2007 | ||
|---|---|---|
| 8 | EE | Chuck Liang, Dale Miller: Focusing and Polarization in Intuitionistic Logic. CSL 2007: 451-465 |
| 7 | EE | Chuck Liang, Dale Miller: Focusing and Polarization in Intuitionistic Logic CoRR abs/0708.2252: (2007) |
| 2004 | ||
| 6 | 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) |
| 2002 | ||
| 5 | EE | Chuck Liang: Compiler Construction in Higher Order Logic Programming. PADL 2002: 47-63 |
| 4 | EE | Chuck Liang, Gopalan Nadathur: Tradeoffs in the Intensional Representation of Lambda Terms. RTA 2002: 192-206 |
| 2000 | ||
| 3 | EE | Chuck Liang: A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language. Computational Logic 2000: 1315-1329 |
| 1998 | ||
| 2 | Chuck Liang: Free Variables and Subexpressions in Higher-Order Meta Logic. TPHOLs 1998: 263-276 | |
| 1997 | ||
| 1 | Chuck Liang: Let-Polymorphism and Eager Type Schemes. TAPSOFT 1997: 490-501 | |
| 1 | Dale Miller | [7] [8] |
| 2 | Gopalan Nadathur | [4] [6] |
| 3 | Xiaochu Qi | [6] |