BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × India
1 × Italy
1 × Japan
1 × USA
Collaborated with:
G.Castagna K.Nguyen L.Zheng H.Chen P.Abate Y.Tao S.Tang Y.Liu S.Qin H.Im S.Lenglet L.Padovani
Talks about:
type (4) polymorph (3) theoret (3) set (3) function (2) part (2) reconstruct (1) parametr (1) toolkit (1) sentenc (1)

Person: Zhiwu Xu


Contributed to:

POPL 20152015
POPL 20142014
ICFP 20112011
SEFM 20102010
ASE 20192019

Wrote 5 papers:

POPL-2015-Castagna0XA #polymorphism #re-engineering #type inference
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction (GC, KN, ZX, PA), pp. 289–302.
POPL-2014-Castagna0XILP #evaluation #polymorphism #semantics #syntax
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation (GC, KN, ZX, HI, SL, LP), pp. 5–18.
ICFP-2011-CastagnaX #morphism #parametricity #polymorphism #type system
Set-theoretic foundation of parametric polymorphism and subtyping (GC, ZX), pp. 94–106.
SEFM-2010-XuZC #context-free grammar #generative #tool support
A Toolkit for Generating Sentences from Context-Free Grammars (ZX, LZ, HC), pp. 118–122.
ASE-2019-TaoTLXQ #api #data analysis #how #performance #question #runtime
How Do API Selections Affect the Runtime Performance of Data Analytics Tasks? (YT, ST, YL, ZX, SQ), pp. 665–668.

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.