Let-Polymorphism and Eager Type Schemes. - Chuck C. Liang (TAPSOFT, 1997)

Free Variables and Subexpressions in Higher-Order Meta Logic. - Chuck C. Liang (TPHOLs, 1998)

A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language. - Chuck C. Liang (Computational Logic, 2000)

Compiler Construction in Higher Order Logic Programming. - Chuck C. Liang (PADL, 2002)

Tradeoffs in the Intensional Representation of Lambda Terms. - Chuck C. Liang; Gopalan Nadathur (RTA, 2002)

Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. - Chuck C. Liang; Gopalan Nadathur; Xiaochu Qi (J. Autom. Reason., 2004)

Focusing and Polarization in Intuitionistic Logic. - Chuck C. Liang; Dale Miller 001 (CSL, 2007)

Aspect-Oriented Programming in Higher-Order and Linear Logic. - Chuck C. Liang (PADL, 2007)

A Unified Sequent Calculus for Focused Proofs. - Chuck C. Liang; Dale Miller 001 (LICS, 2009)

Focusing and polarization in linear, intuitionistic, and classical logics. - Chuck C. Liang; Dale Miller 001 (Theor. Comput. Sci., 2009)

A focused approach to combining logics. - Chuck C. Liang; Dale Miller 001 (Ann. Pure Appl. Log., 2011)

Unifying Classical and Intuitionistic Logics for Computational Control. - Chuck C. Liang; Dale Miller 001 (LICS, 2013)

Kripke semantics and proof systems for combining intuitionistic logic and classical logic. - Chuck C. Liang; Dale Miller 001 (Ann. Pure Appl. Log., 2013)

On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control. - Chuck C. Liang; Dale Miller 001 (LPAR, 2015)

Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics. - Chuck C. Liang (LICS, 2016)

On the unification of classical, intuitionistic and affine logics. - Chuck C. Liang (Math. Struct. Comput. Sci., 2019)