BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
1 × Finland
1 × France
1 × Latvia
1 × Portugal
1 × United Kingdom
2 × Austria
2 × Germany
2 × Italy
3 × USA
Collaborated with:
∅ G.Castagna C.Laneve S.Jaksic M.Dezani-Ciancaglini S.Crafa E.Giachino U.de'Liguoro F.Damiani I.Schaefer V.Bono C.Messa N.Gesbert C.S.Coen S.Zacchiroli M.Coppo N.Yoshida K.Nguyen Z.Xu H.Im S.Lenglet
Talks about:
type (10) session (5) copyless (3) contract (3) foundat (3) servic (3) messag (3) web (3) calculus (2) approach (2)

Person: Luca Padovani

DBLP DBLP: Padovani:Luca

Facilitated 1 volumes:

SFM 2009Ed

Contributed to:

OOPSLA 20152015
SFM 20152015
FoSSaCS 20142014
CSL-LICS 20142014
POPL 20142014
ICALP (2) 20132013
IFM 20132013
GPCE 20122012
PPDP 20122012
PPDP 20122014
ESOP 20112011
PPDP 20092009
SFM 20092009
POPL 20082008
FoSSaCS 20062006
CC 20052005
GPCE 20042004
ESOP 20172017
ECOOP 20182018
PPDP 20192019

Wrote 20 papers:

OOPSLA-2015-CrafaP #approach #programming
The chemical approach to typestate-oriented programming (SC, LP), pp. 917–934.
SFM-2015-CoppoDPY #multi
A Gentle Introduction to Multiparty Asynchronous Session Types (MC, MDC, LP, NY), pp. 146–178.
FoSSaCS-2014-Padovani #linear #re-engineering #recursion #π-calculus
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types (LP), pp. 88–102.
LICS-CSL-2014-Padovani #concurrent #linear #π-calculus
Deadlock and lock freedom in the linear π-calculus (LP), p. 10.
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.
ICALP-v2-2013-Padovani #type system
Fair Subtyping for Open Session Types (LP), pp. 373–384.
IFM-2013-LaneveP #algebra #contract #web #web service
An Algebraic Theory for Web Service Contracts (CL, LP), pp. 301–315.
GPCE-2012-DamianiPS #formal method #product line
A formal foundation for dynamic delta-oriented software product lines (FD, LP, IS), pp. 1–10.
PPDP-2012-JaksicP #exception
Exception handling for copyless messaging (SJ, LP), pp. 151–162.
PPDP-J-2012-JaksicP14 #exception
Exception handling for copyless messaging (SJ, LP), pp. 22–51.
ESOP-2011-BonoMP #message passing #type system
Typing Copyless Message Passing (VB, CM, LP), pp. 57–76.
PPDP-2009-CastagnaDGP
Foundations of session types (GC, MDC, EG, LP), pp. 219–230.
SFM-2009-Padovani #adaptation #contract #web #web service
Contract-Based Discovery and Adaptation of Web Services (LP), pp. 213–260.
POPL-2008-CastagnaGP #contract #formal method #web #web service
A theory of contracts for web services (GC, NG, LP), pp. 261–272.
FoSSaCS-2006-LaneveP
Smooth Orchestrators (CL, LP), pp. 32–46.
CC-2005-Padovani #c++ #compilation #using
Compilation of Generic Regular Path Expressions Using C++ Class Templates (LP), pp. 27–42.
GPCE-2004-PadovaniCZ #approach #documentation #generative #implementation
A Generative Approach to the Implementation of Language Bindings for the Document Object Model (LP, CSC, SZ), pp. 469–487.
ESOP-2017-Padovani #type inference
Context-Free Session Type Inference (LP), pp. 804–830.
ECOOP-2018-deLiguoroP #interactive
Mailbox Types for Unordered Interactions (Ud, LP), p. 28.
PPDP-2019-CastagnaDGP #years after
Foundations of Session Types: 10 Years Later (GC, MDC, EG, LP), p. 3.
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.