Chuck C. Liang

17 papers A* 3B 2C 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2019 J jnl
On the unification of classical, intuitionistic and affine logics.
Math. Struct. Comput. Sci.
Chuck C. Liang
2016 A* conf
Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics.
LICS
Chuck C. Liang
2015 B conf
On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control.
LPAR
Chuck C. Liang, Dale Miller
2013 J jnl
Kripke semantics and proof systems for combining intuitionistic logic and classical logic.
Ann. Pure Appl. Log.
Chuck C. Liang, Dale Miller
2013 A* conf
Unifying Classical and Intuitionistic Logics for Computational Control.
LICS
Chuck C. Liang, Dale Miller
2011 J jnl
A focused approach to combining logics.
Ann. Pure Appl. Log.
Chuck C. Liang, Dale Miller
2009 A* conf
A Unified Sequent Calculus for Focused Proofs.
LICS
Chuck C. Liang, Dale Miller
2009 J jnl
Focusing and polarization in linear, intuitionistic, and classical logics.
Theor. Comput. Sci.
Chuck C. Liang, Dale Miller
2007 C conf
Aspect-Oriented Programming in Higher-Order and Linear Logic.
PADL
Chuck C. Liang
2007 J jnl
Focusing and Polarization in Intuitionistic Logic
CoRR
Chuck C. Liang, Dale Miller
2007 B conf
Focusing and Polarization in Intuitionistic Logic.
CSL
Chuck C. Liang, Dale Miller
2004 J jnl
Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts.
J. Autom. Reason.
Chuck C. Liang, Gopalan Nadathur, Xiaochu Qi
2002 C conf
Compiler Construction in Higher Order Logic Programming.
PADL
Chuck C. Liang
2002 — conf
Tradeoffs in the Intensional Representation of Lambda Terms.
RTA
Chuck C. Liang, Gopalan Nadathur
2000 — conf
A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language.
Computational Logic
Chuck C. Liang
1998 — conf
Free Variables and Subexpressions in Higher-Order Meta Logic.
TPHOLs
Chuck C. Liang
1997 — conf
Let-Polymorphism and Eager Type Schemes.
TAPSOFT
Chuck C. Liang