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 × Italy
1 × Spain
Collaborated with:
J.B.Wells J.Polakow A.J.Kfoury
Talks about:
type (5) intersect (2) variabl (2) system (2) linear (2) expans (2) correspond (1) flexibl (1) reduct (1) infer (1)

Person: Sébastien Carlier

DBLP DBLP: Carlier:S=eacute=bastien

Contributed to:

ESOP 20042004
PPDP 20042004

Wrote 2 papers:

ESOP-2004-CarlierPWK #flexibility #linear #type system
System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types (SC, JP, JBW, AJK), pp. 294–309.
PPDP-2004-CarlierW #type inference
Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction (SC, JBW), pp. 132–143.

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.