Chuck Liang's Homepage Dr. Chuck C. Liang Associate Professor of Computer Science, Hofstra University . Office Address: 201A Adams Hall Hofstra University Hempstead, NY 11550 Office Phone: (516 463) 5559 Email: cscccl@hofstra.edu (<- click to send me mail)

Fall 2006 : On Leave

My research interests include proof theory, higher-order programming languages, type theory, compilation and automated deduction.

Selected List of Research Papers:

• Lambda Prolog Implementaion of Ripple-Rewriting.
• Specifying Object-Level Unification in Lambda Prolog.
• Dissertation Proposal.
• Doctoral Thesis. Defended on September 22nd, 1995 at the University of Pennsylvania .
• Substitutions for Proofs and Types as Logic Programming.
• Let Polymorphism and Eager Type Schemes.
• Free Variables and Subexpressions in Higher-Order Meta Logic.
• A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language.
• Compiler Construction in Higher Order Logic Programming.
• Tradeoffs in the Intensional Representation of Lambda Terms. With Gopalan Nadathur
• A Framework for Distributed Interoperation Based On Higher-Order Meta-Logic
• Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Context. With Gopalan Nadathur and Xiaochu Qi. Minnesota.
• Aspect-Oriented Programming in Higher-Order and Linear Logic
• Focusing and Polarization in Intuitionistic Logic. With Dale Miller.
• On Focusing and Polarities in Linear Logic and Intuitionistic Logic. With Dale Miller. Long version.

Research Homepages:

• Common Object Language Project Homepage (under construction)
• Higher Order Compilation Project
• LambdaYacc Parser Generator
• Teyjus project homepage. Lambda term benchmarks.
• Lambda Prolog Information
• Logical Frameworks Homepage
• Programming Language Research Page