Sara Capecchi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7319029 (Why is no real title available?)	2021-03-10	Paper
scientific article; zbMATH DE number 7319029 (Why is no real title available?) (available as arXiv preprint)	2021-03-10	Paper
Information flow safety in multiparty sessions Mathematical Structures in Computer Science	2017-04-04	Paper
Global escape in multiparty sessions Mathematical Structures in Computer Science	2016-07-28	Paper
Typing access control and secure information flow in sessions Information and Computation	2014-10-20	Paper
Deriving session and union types for objects Mathematical Structures in Computer Science	2014-04-16	Paper
On flexible dynamic trait replacement for Java-like languages Science of Computer Programming	2014-04-02	Paper
Translating double dispatch into single dispatch	2013-09-26	Paper
Global escape in multiparty sessions	2012-08-29	Paper
Session types for access and information flow control CONCUR 2010 - Concurrency Theory	2010-08-31	Paper
Typing asymmetric client-server interaction Fundamentals of Software Engineering	2010-01-28	Paper
Dynamic overloading with copy semantics in object-oriented languages: a formal account RAIRO - Theoretical Informatics and Applications	2009-07-15	Paper
Dynamic overloading with copy semantics in object-oriented languages: a formal account RAIRO - Theoretical Informatics and Applications	2009-07-15	Paper
Featherweight Java with dynamic and static overloading Science of Computer Programming	2009-05-06	Paper
Amalgamating sessions and methods in object-oriented languages with generics Theoretical Computer Science	2009-03-02	Paper
Session and Union Types for Object Oriented Programming Concurrency, Graphs and Models	2008-06-19	Paper

Research outcomes over time

This page was built for person: Sara Capecchi