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 × Germany
1 × Poland
1 × Spain
Collaborated with:
V.Sassone M.John J.Niehren C.Versari
Talks about:
calculus (2) type (2) constraint (1) distribut (1) reaction (1) biochem (1) ambient (1) depend (1) infer (1) rule (1)

Person: Cédric Lhoussaine

DBLP DBLP: Lhoussaine:C=eacute=dric

Contributed to:

ESOP 20112011
ESOP 20042004
ESOP 20032003

Wrote 3 papers:

ESOP-2011-JohnLNV #constraints
Biochemical Reaction Rules with Constraints (MJ, CL, JN, CV), pp. 338–357.
ESOP-2004-LhoussaineS #calculus
A Dependently Typed Ambient Calculus (CL, VS), pp. 171–187.
ESOP-2003-Lhoussaine #distributed #type inference #π-calculus
Type Inference for a Distributed π-Calculus (CL), pp. 253–268.

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.