Chuck C. Liang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2002–2016
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | LICS | Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics. | Chuck C. Liang |
| 2015 | LPAR | On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control. | Chuck C. Liang, Dale Miller |
| 2013 | LICS | Unifying Classical and Intuitionistic Logics for Computational Control. | Chuck C. Liang, Dale Miller |
| 2009 | LICS | A Unified Sequent Calculus for Focused Proofs. | Chuck C. Liang, Dale Miller |
| 2007 | CSL | Focusing and Polarization in Intuitionistic Logic. | Chuck C. Liang, Dale Miller |
| 2007 | PADL | Aspect-Oriented Programming in Higher-Order and Linear Logic. | Chuck C. Liang |
| 2002 | PADL | Compiler Construction in Higher Order Logic Programming. | Chuck C. Liang |