BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Switzerland
1 × United Kingdom
3 × USA
Collaborated with:
D.Miller ∅ G.Nadathur
Talks about:
logic (4) intuitionist (2) program (2) unifi (2) focus (2) determinist (1) represent (1) polymorph (1) intension (1) construct (1)

Person: Chuck Liang

DBLP DBLP: Liang:Chuck

Contributed to:

LICS 20132013
LICS 20092009
CSL 20072007
PADL 20022002
RTA 20022002
CL 20002000
TAPSOFT CAAP/FASE 19971997

Wrote 7 papers:

LICS-2013-LiangM #logic
Unifying Classical and Intuitionistic Logics for Computational Control (CL, DM), pp. 283–292.
LICS-2009-LiangM #calculus #proving
A Unified Sequent Calculus for Focused Proofs (CL, DM), pp. 355–364.
CSL-2007-LiangM #logic
Focusing and Polarization in Intuitionistic Logic (CL, DM), pp. 451–465.
PADL-2002-Liang #compilation #higher-order #logic programming
Compiler Construction in Higher Order Logic Programming (CL), pp. 47–63.
RTA-2002-LiangN #representation #trade-off
Tradeoffs in the Intensional Representation of λ Terms (CL, GN), pp. 192–206.
CL-2000-Liang #generative #logic programming #parsing #programming language
A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language (CL), pp. 1315–1329.
TAPSOFT-1997-Liang #morphism
Let-Polymorphism and Eager Type Schemes (CL), pp. 490–501.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.