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
1 × USA
1 × United Kingdom
Collaborated with:
H.Goguen M.Fernández D.Aspinall P.Garralda M.Dezani-Ciancaglini
Talks about:
subtyp (2) symmetri (1) calculus (1) session (1) ambient (1) algebra (1) rewrit (1) object (1) higher (1) depend (1)

Person: Adriana B. Compagnoni

DBLP DBLP: Compagnoni:Adriana_B=

Contributed to:

PPDP 20062006
CSL 19991999
PLILP 19971997
LICS 19961996

Wrote 4 papers:

PPDP-2006-GarraldaCD #named
BASS: boxed ambients with safe sessions (PG, ABC, MDC), pp. 61–72.
CSL-1999-CompagnoniG #higher-order #symmetry #type system
Anti-Symmetry of Higher-Order Subtyping (ABC, HG), pp. 420–438.
PLILP-1997-CompagnoniF #algebra #calculus #on the
On Object Calculus with Algebraic Rewriting (ABC, MF), pp. 17–31.
LICS-1996-AspinallC #dependent type #type system
Subtyping Dependent Types (DA, ABC), pp. 86–97.

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.