Elena Zucca

James Cone

CoRR, 2018

Semantic Subtyping for Non-Strict Languages.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Types for Proofs and Programs, 2018

A type and effect system for uniqueness and immutability.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Modeling Infinite Behaviour by Corules.

[BibT_eX]

[DOI]

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Reasoning on divergent computations with coaxioms.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2017

Type safe incremental rebinding.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2017

A type and effect system for sharing.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2017

Generalizing Inference Systems by Coaxioms.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2017

Tracing sharing in an imperative pure calculus: extended abstract.

[BibT_eX]

[DOI]

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017

2016

Extending Coinductive Logic Programming with Co-Facts.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, 2016

Initialize-and-catch.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Runtime Checks as Nominal Types.

[BibT_eX]

[DOI]

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Types for Immutability and Aliasing Control.

[BibT_eX]

[DOI]

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Coupling catch clauses with local declarations.

[BibT_eX]

[DOI]

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

Towards a model of corecursion with default.

[BibT_eX]

[DOI]

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

2015

An Imperative Pure Calculus.

[BibT_eX]

[DOI]

Andrea Capriccioli

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

Incremental Rebinding with Name Polymorphism.

[BibT_eX]

[DOI]

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

Constrained Polymorphic Types for a Calculus with Name Variables.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

Aliasing Control in an Imperative Pure Calculus.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

A meta-circular language for active libraries.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

2013

Safe corecursion in coFJ.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

2012

DeepFJig - Modular composition of nested classes.

[BibT_eX]

[DOI]

Andrea Corradi

J. Object Technol., 2012

Featherweight Jigsaw - Replacing inheritance by composition in Java-like languages.

[BibT_eX]

[DOI]

Inf. Comput., 2012

Reconciling positional and nominal binding.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

Corecursive Featherweight Java.

[BibT_eX]

[DOI]

Mariangiola Dezani-Ciancaglini

Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs, 2012

2011

Extending the lambda-calculus with unbind and rebind.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2011

2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary.

[BibT_eX]

[DOI]

Jonathan Aldrich

Jeremy G. Siek

Mariangiola Dezani-Ciancaglini

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

2010

Intersection types for unbind and rebind

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth Workshop on Intersection Types and Related Systems, 2010

MetaFJig: a meta-circular composition language for Java-like classes.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

A Lightweight Approach to Customizable Composition Operators for Java-like Classes.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Customizable composition operators for Java-like classes.

[BibT_eX]

Mariangiola Dezani-Ciancaglini

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

The essence of static and dynamic bindings.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2009, 2009

2008

Type Inference by Coinductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Conference, 2008

2007

A provenly correct translation of Fickle into Java.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2007

A calculus of open modules: call-by-need strategy and confluence.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2007

Just: Safe Unknown Types in Java-like Languages.

[BibT_eX]

[DOI]

J. Object Technol., 2007

A Parametric Calculus for Mobile Open Code.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Developments in Computational Models, 2007

A formal framework for compositional compilation.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007

Type inference for polymorphic methods in Java-like languages.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007

2006

A Calculus of Components with Dynamic Type-Checking.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006

A Framework for Type Safe Exchange of Mobile Code.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Introducing safe unknown types in Java-like languages.

[BibT_eX]

[DOI]

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

Flexible Type-Safe Linking of Components for Java-Like Languages.

[BibT_eX]

[DOI]

Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

Formal Techniques for Java-Like Programs.

[BibT_eX]

[DOI]

Arnd Poetzsch-Heffter

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

2005

A Calculus for Reconfiguration: (Extended abstract).

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Developments in Computational Models, 2005

Mixin Modules for Dynamic Rebinding.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Polymorphic bytecode: compositional compilation for Java-like languages.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004

A Case-Study in Encoding Configuration Languages: Multiple Class Loaders.

[BibT_eX]

[DOI]

J. Object Technol., 2004

A Calculus for Dynamic Reconfiguration with Low Priority Linking.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Object Oriented Developments, 2004

Modeling multiple class loaders by a calculus for dynamic linking.

[BibT_eX]

[DOI]

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

Principal typings for Java-like languages.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

A Calculus with Lazy Module Operators.

[BibT_eX]

[DOI]

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

Jam - designing a Java extension with mixins.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2003

A Calculus for Dynamic Linking.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

Mixin Modules and Computational Effects.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2002

A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2002

A calculus of module systems.

[BibT_eX]

[DOI]

J. Funct. Program., 2002

True separate compilation of Java classes.

[BibT_eX]

[DOI]

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

A Formal Framework for Java Separate Compilation.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2002, 2002

2001

A type preserving translation of Fickle into Java.

[BibT_eX]

[DOI]

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

A Core Calculus for Java Exceptions.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

An Effective Translation of Fickle into Java.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

True Modules for Java-like Languages.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2001, 2001

2000

Jam - A Smooth Extension of Java with Mixins.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2000, 2000

1999

From Static to Dynamic Abstract Data-Types: An Institution Transformation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages.

[BibT_eX]

[DOI]

Gianna Reggio

Sci. Comput. Program., 1999

Deriving Proof Rules from Continuation Semantics.

[BibT_eX]

[DOI]

Philippe Audebaud

Formal Aspects Comput., 1999

Extending Casl by Late Binding.

[BibT_eX]

[DOI]

Maura Cerioli

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

A Primitive Calculus for Module Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

A Formal Framework with Late Binding.

[BibT_eX]

[DOI]

Maura Cerioli

Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998

A Theory of Mixin Modules: Basic and Derived Operators.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1998

1997

Implementation of derived programs (almost) for free.

[BibT_eX]

[DOI]

Maura Cerioli

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

An algebra of mixin modules.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Overriding Operators in a Mixin-Based Framework.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1997

1996

A Free Construction of Dynamic Terms.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1996

An Algebraic Semantic Framework for Object Oriented Languages with Concurrency (Extended Abstract).

[BibT_eX]

[DOI]

Ruth Breu

Formal Aspects Comput., 1996

From Static to Dynamic Abstract Data-Types.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

A Formal Framework for Modules with State.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1996

An Algebraic Approach to Mixins and Modularity.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1995

D-oids: A Model for Dynamic Data-Types.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1995

1994

Implementation of Data Structures in an Imperative Framework.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Stores as Homomorphisms and their Transformations.

[BibT_eX]

[DOI]

Gianna Reggio