Elena Zucca

Available identifiers

zbMath Open zucca.elenaWikidataQ56556494 ScholiaQ56556494MaRDI QIDQ418192

List of research outcomes

Publication	Date of Publication	Type
Checked corecursive streams: expressivity and completeness	2023-09-18	Paper
A Java-like calculus with heterogeneous coeffects	2023-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q6099600	2023-06-20	Paper
Soundness Conditions for Big-Step Semantics	2022-10-13	Paper
Enhancing expressivity of checked corecursive streams	2022-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5091145	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5076059	2022-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4993855	2021-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4964691	2021-03-03	Paper
Flexible coinductive logic programming	2020-12-13	Paper
Flexible recovery of uniqueness and immutability	2019-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4580225	2018-08-13	Paper
Polymorphic bytecode	2017-07-14	Paper
Generalizing Inference Systems by Coaxioms	2017-05-19	Paper
Type safe incremental rebinding	2017-04-04	Paper
An algebraic approach to mixins and modularity	2017-01-19	Paper
Incremental rebinding with name polymorphism	2016-08-05	Paper
An imperative pure calculus	2016-08-05	Paper
Aliasing Control in an Imperative Pure Calculus	2016-01-08	Paper
Principal typings for Java-like languages	2015-11-11	Paper
A Parametric Calculus for Mobile Open Code	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2851704	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2848693	2013-09-26	Paper
Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages	2012-05-24	Paper
Extending the lambda-calculus with unbind and rebind	2011-06-10	Paper
Theoretical Computer Science	2010-02-23	Paper
Type Inference by Coinductive Logic Programming	2009-07-02	Paper
A Framework for Type Safe Exchange of Mobile Code	2009-03-05	Paper
A calculus of open modules: call-by-need strategy and confluence	2007-09-06	Paper
Trustworthy Global Computing	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4673423	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q3046765	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4449178	2004-02-08	Paper
A calculus of module systems	2002-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q2779264	2002-04-15	Paper
A theory of mixin modules: algebraic laws and reduction semantics	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2722015	2001-07-11	Paper
Deriving proof rules from continuation semantics	2000-05-07	Paper
Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages	1999-11-01	Paper
From static to dynamic abstract data-types: An institution transformation	1999-04-28	Paper
A theory of mixin modules: basic and derived operators	1999-04-22	Paper
https://portal.mardi4nfdi.de/entity/Q4375629	1998-06-11	Paper
An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract)	1997-02-04	Paper
A free construction of dynamic terms	1996-07-16	Paper
D-oids: a model for dynamic data-types	1996-05-28	Paper
Parametric channels via label expressions in CCS	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3316569	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3969858	1981-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Elena Zucca