Travelled to:1 × Austria
1 × The Netherlands
1 × USA
Collaborated with:∅ S.Yu
Talks about:theori (2) type (2) implement (1) construct (1) calculus (1) program (1) coerciv (1) checker (1) subtyp (1) specif (1)
Person: Zhaohui Luo
DBLP: Luo:Zhaohui
Contributed to:
1997
1996
1989
1991Wrote 4 papers:
- FME-1997-YuL #implementation #model checking
- Implementing a Model Checker for LEGO (SY, ZL), pp. 442–458.
- CSL-1996-Luo #type system
- Coercive Subtyping in Type Theory (ZL), pp. 276–296.
- LICS-1989-Luo #calculus
- ECC, an Extended Calculus of Constructions (ZL), pp. 386–395.
- CAAP-1991-Luo #refinement #specification #type system
- Program Specification and Data Refinement in Type Theory (ZL), pp. 143–168.