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 × Cyprus
1 × Portugal
1 × Spain
3 × USA
Collaborated with:
J.A.Tov V.Weissman C.Dimoulas M.Felleisen
Talks about:
type (4) contract (2) affin (2) substructur (1) calculus (1) session (1) practic (1) control (1) toward (1) theori (1)

Person: Riccardo Pucella

DBLP DBLP: Pucella:Riccardo

Contributed to:

OOPSLA 20112011
POPL 20112011
ESOP 20102010
PPDP 20092009
FoSSaCS 20042004
OOPSLA 20022002
Haskell 20082008

Wrote 7 papers:

OOPSLA-2011-TovP #formal method
A theory of substructural types and control (JAT, RP), pp. 625–642.
POPL-2011-TovP
Practical affine types (JAT, RP), pp. 447–458.
ESOP-2010-TovP #contract
Stateful Contracts for Affine Types (JAT, RP), pp. 550–569.
PPDP-2009-DimoulasPF #contract
Future contracts (CD, RP, MF), pp. 195–206.
FoSSaCS-2004-PucellaW #policy #reasoning
Reasoning about Dynamic Policies (RP, VW), pp. 453–467.
OOPSLA-2002-Pucella #calculus #formal method #towards
Towards a formalization for COM part i: the primitive calculus (RP), pp. 331–342.
Haskell-2008-PucellaT #haskell
Haskell session types with (almost) no class (RP, JAT), pp. 25–36.

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.