Sara Capecchi

Available identifiers

zbMath Open capecchi.saraMaRDI QIDQ462484

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4965856	2021-03-10	Paper
Information flow safety in multiparty sessions	2017-04-04	Paper
Global escape in multiparty sessions	2016-07-28	Paper
Typing access control and secure information flow in sessions	2014-10-20	Paper
Deriving session and union types for objects	2014-04-16	Paper
On flexible dynamic trait replacement for Java-like languages	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	2010-08-31	Paper
Typing Asymmetric Client-Server Interaction	2010-01-28	Paper
Dynamic overloading with copy semantics in object-oriented languages: a formal account	2009-07-15	Paper
Featherweight Java with dynamic and static overloading	2009-05-06	Paper
Amalgamating sessions and methods in object-oriented languages with generics	2009-03-02	Paper
Session and Union Types for Object Oriented Programming	2008-06-19	Paper

Research outcomes over time

This page was built for person: Sara Capecchi