Concepedia

Adriana Compagnoni

AC

Statistics

Publications

14

Citations

390

H-Index

11

Active since

1996

Affiliations

Stevens Institute of Technology(Current)

University of Edinburgh

University of Illinois Urbana-Champaign

Verimag

University of Turin

Adriana Compagnoni is an author at Stevens Institute of Technology specializing in computing, computer science, and type systems.

Publications per year

1996–2013

14

Publications

14

Correspondence assertions for process synchronization in concurrent communications

Eduardo Bonelli, Adriana Compagnoni, Elsa L. Gunter · Journal of Functional Programming · 2005 · 60 citations · Full text

, , +13

Subtyping dependent types

David Aspinall, Adriana Compagnoni · Theoretical Computer Science · 2001 · 52 citations

, , +8

Higher-order intersection types and multiple inheritance

Adriana Compagnoni, Benjamin C. Pierce · Mathematical Structures in Computer Science · 1996 · 44 citations

, , +16

Subtyping dependent types

David Aspinall, Adriana Compagnoni · 2002 · 42 citations

, , +8

BASS

Pablo Garralda, Adriana Compagnoni, Mariangiola Dezani-Ciancaglini · 2006 · 35 citations

, , +7

1–5 of 14