`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: Liang:Chuck

### Contributed to:

### 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.