Adriana Compagnoni

Adriana Compagnoni

Stevens Institute of Technology - Hoboken / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1671706
person_outline Adriana Compagnoni's MOST POPULAR ARTICLES
1-) Subtyping dependent types Logic in Computer Science, 1996. LICS'96. Proceedings., Eleventh Annual IEEE …, 1996
2-) Multipoint session types for a distributed calculus Trustworthy Global Computing 4912, 240-256, 2008
3-) Correspondence assertions for process synchronization in concurrent communications Journal of Functional Programming 15 (2), 219-247, 2005
4-) Higher-order intersection types and multiple inheritance Mathematical Structures in Computer Science 6 (5), 469-501, 1996
5-) Higher-order subtyping with intersection types [Sl: sn], 1995