Travelled to:1 × Canada
1 × Japan
1 × Spain
1 × USA
Collaborated with:P.Genevès N.Layaïda G.Castagna L.Padovani S.J.Gay V.T.Vasconcelos A.Ravara A.Z.Caldeira
Talks about:type (2) polymorph (1) distribut (1) parametr (1) contract (1) backward (1) session (1) program (1) problem (1) modular (1)
Person: Nils Gesbert
DBLP: Gesbert:Nils
Contributed to:
20152011
20102008Wrote 4 papers:
- ICFP-2015-GenevesG #problem #static typing #type system #xquery
- XQuery and static typing: tackling the problem of backward axes (PG, NG), pp. 88–100.
- ICFP-2011-GesbertGL #logic #morphism #parametricity #polymorphism #semantics #type system
- Parametric polymorphism and semantic subtyping: the logical connection (NG, PG, NL), pp. 107–116.
- POPL-2010-GayVRGC #composition #distributed #object-oriented #programming
- Modular session types for distributed object-oriented programming (SJG, VTV, AR, NG, AZC), pp. 299–312.
- POPL-2008-CastagnaGP #contract #formal method #web #web service
- A theory of contracts for web services (GC, NG, LP), pp. 261–272.