Viviana Bono

J. Log. Algebraic Methods Program., 2025

2024

Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Gradual Guarantee for FJ with lambda-Expressions.

[BibT_eX]

[DOI]

Pedro Ângelo

Mário Florido

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

2022

Local Multi-Head Channel Self-Attention for Facial Expression Recognition.

[BibT_eX]

[DOI]

Roberto Pecoraro

Valerio Basile

Inf., 2022

2021

Local Multi-Head Channel Self-Attention for Facial Expression Recognition.

[BibT_eX]

[DOI]

CoRR, 2021

2020

GASP! Generating Abstracts of Scientific Papers from Abstracts of Cited Papers.

[BibT_eX]

[DOI]

Fabio Massimo Zanzotto

CoRR, 2020

A tale of intersection types.

[BibT_eX]

[DOI]

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

Soundness Conditions for Big-Step Semantics.

[BibT_eX]

[DOI]

Francesco Dagnino

Elena Zucca

Proceedings of the Programming Languages and Systems, 2020

2019

The Magda Language: Ten Years After.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2019

2018

Java & Lambda: a Featherweight Story.

[BibT_eX]

[DOI]

Paola Giannini

Log. Methods Comput. Sci., 2018

Java & Lambda: a Featherweight Story.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Data-driven adaptation for smart sessions.

[BibT_eX]

[DOI]

Mario Coppo

J. Log. Algebraic Methods Program., 2017

2016

Behavioral Types in Programming Languages.

[BibT_eX]

[DOI]

Found. Trends Program. Lang., 2016

2014

Lucretia - intersection type polymorphism for scripting languages.

[BibT_eX]

[DOI]

Marcin Benke

Aleksy Schubert

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 2014

Trait-oriented programming in Java 8.

[BibT_eX]

[DOI]

Enrico Mensa

Marco Naddeo

Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

2013

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language.

[BibT_eX]

[DOI]

Andrea Tosatto

Proceedings of the Formal Techniques for Distributed Systems, 2013

2012

Lucretia - a type system for objects in languages with reflection

[BibT_eX]

[DOI]

Marcin Benke

Aleksy Schubert

CoRR, 2012

Typing Copyless Message Passing

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Magda: A New Language for Modularity.

[BibT_eX]

[DOI]

Jarek Kusmierek

Mauro Mulatero

Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011

Delegation by object composition.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Polymorphic Endpoint Types for Copyless Message Passing

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

A Reputation System for Multirole Sessions.

[BibT_eX]

[DOI]

Sara Capecchi

Ilaria Castellani

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

Typing Copyless Message Passing.

[BibT_eX]

[DOI]

Chiara Messa

Proceedings of the Programming Languages and Systems, 2011

2010

Big-step Operational Semantics Revisited.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

Delta-Oriented Programming of Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

2009

I-Java: An Extension of Java with Incomplete Objects and Object Composition.

[BibT_eX]

[DOI]

Erica Turin

Proceedings of the Software Composition - 8th International Conference, 2009

2008

A typed lambda calculus with intersection types.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Object Incompleteness and Dynamic Composition in Java-Like Languages.

[BibT_eX]

[DOI]

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

A trait based re-engineering technique for Java hierarchies.

[BibT_eX]

[DOI]

Marco Naddeo

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

Type safe dynamic object delegation in class-based languages.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

On Traits and Types in a Java-like Setting.

[BibT_eX]

[DOI]

Ferruccio Damiani

Elena Giachino

Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

2007

Hygienic methods Ñ Introducing HygJava.

[BibT_eX]

[DOI]

J. Object Technol., 2007

Modularizing constructors.

[BibT_eX]

[DOI]

J. Object Technol., 2007

FJMIP: A Calculus for a Modular Object Initialization.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

2005

Safe and Flexible Objects with Subtyping.

[BibT_eX]

[DOI]

J. Object Technol., 2005

MOMI: a calculus for mobile mixins.

[BibT_eX]

[DOI]

Acta Informatica, 2005

Safe and flexible objects.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Safe Object Composition in the Presence of Subtyping.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

2004

Preface.

[BibT_eX]

[DOI]

Sophia Drossopoulou

Proceedings of the Second Workshop on Object Oriented Developments, 2004

A core calculus of higher-order mixins and classes.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A core calculus of mixins and incomplete objects.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Subtyping-Inheritance Conflicts: The Mobile Mixin Case.

[BibT_eX]

[DOI]

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

O'Klaim: A Coordination Language with Mobile Mixins.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003

First Workshop on Object Oriented Developments - Preface.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Object Oriented Developments, 2003

Type Inference for Nested Self Types.

[BibT_eX]

[DOI]

Jerzy Tiuryn

Pawel Urzyczyn

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

Extensible Objects: A Tutorial.

[BibT_eX]

[DOI]

Proceedings of the Global Computing. Programming Environments, 2003

The Klaim Project: Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the Global Computing. Programming Environments, 2003

2002

Typed interpretations of extensible objects.

[BibT_eX]

[DOI]

Silvia Crafa

ACM Trans. Comput. Log., 2002

Products and Polymorphic Subtypes.

[BibT_eX]

[DOI]

Jerzy Tiuryn

Fundam. Informaticae, 2002

A Calculus for "Environment-Aware" Computation.

[BibT_eX]

[DOI]

Ferruccio Damiani

Paola Giannini

Proceedings of the Foundations of Wide Area Network Computing, 2002

Coordinating Mobile Object-Oriented Code.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2001

A CuCh Interpretation of an Object-Oriented Language.

[BibT_eX]

[DOI]

Ivano Salvo

Proceedings of the Bohm's theorem: applications to Computer Science Theory, 2001

Towards Object-Oriented Klaim.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

1999

Matching for the lambda Calculus of Objects.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

A Subtyping for Extensible, Incomplete Objects.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1999

A Core Calculus of Classes and Objects.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

Interpretations of Extensible Objects and Types.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

A Core Calculus of Classes and Mixins.

[BibT_eX]

[DOI]

Amit Patel

Vitaly Shmatikov

Proceedings of the ECOOP'99, 1999

1998

An Imperative, First-Order Calculus with Object Extension.

[BibT_eX]

[DOI]

Kathleen Fisher

Proceedings of the ECOOP'98, 1998

1997

Matching Constraints for the Lambda Calculus of Objects.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 1997

Subtyping Constraints for Incomplete Objects (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

A Lambda Calculus of Incomplete Objects.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

1994

A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.

[BibT_eX]

[DOI]