Search the dblp DataBase

Publications of Author

1. Chuck Liang
   A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language. [Citation Graph (0, 0)][DBLP]
   Computational Logic, 2000, pp:1315-1329 [Conf]
   
2. Chuck Liang
   Compiler Construction in Higher Order Logic Programming. [Citation Graph (0, 0)][DBLP]
   PADL, 2002, pp:47-63 [Conf]
   
3. Chuck Liang, Gopalan Nadathur
   Tradeoffs in the Intensional Representation of Lambda Terms. [Citation Graph (0, 0)][DBLP]
   RTA, 2002, pp:192-206 [Conf]
   
4. Chuck Liang
   Let-Polymorphism and Eager Type Schemes. [Citation Graph (0, 0)][DBLP]
   TAPSOFT, 1997, pp:490-501 [Conf]
   
5. Chuck Liang
   Free Variables and Subexpressions in Higher-Order Meta Logic. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1998, pp:263-276 [Conf]
   
6. Chuck Liang, Gopalan Nadathur, Xiaochu Qi
   Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2004, v:33, n:2, pp:89-132 [Journal]
   
7. Chuck Liang, Dale Miller
   Focusing and Polarization in Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
   CSL, 2007, pp:451-465 [Conf]
   
8. Chuck Liang, Dale Miller
   Focusing and Polarization in Intuitionistic Logic [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
9. 
   A Unified Sequent Calculus for Focused Proofs. [Citation Graph (, )][DBLP]