Chuck C. Liang
Professor of Computer Science
Adams Hall 201A
Send an Email
Degrees: PHD, 1995, Univ Pennsylvania; BS, 1989, Univ Oregon
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 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.