Elena Zucca

From MaRDI portal
Revision as of 02:32, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:418192

Available identifiers

zbMath Open zucca.elenaWikidataQ56556494 ScholiaQ56556494MaRDI QIDQ418192

List of research outcomes

PublicationDate of PublicationType
Checked corecursive streams: expressivity and completeness2023-09-18Paper
A Java-like calculus with heterogeneous coeffects2023-08-18Paper
https://portal.mardi4nfdi.de/entity/Q60996002023-06-20Paper
Soundness Conditions for Big-Step Semantics2022-10-13Paper
Enhancing expressivity of checked corecursive streams2022-08-10Paper
https://portal.mardi4nfdi.de/entity/Q50911452022-07-21Paper
https://portal.mardi4nfdi.de/entity/Q50760592022-05-12Paper
https://portal.mardi4nfdi.de/entity/Q49938552021-06-10Paper
https://portal.mardi4nfdi.de/entity/Q49646912021-03-03Paper
Flexible coinductive logic programming2020-12-13Paper
Flexible recovery of uniqueness and immutability2019-03-13Paper
https://portal.mardi4nfdi.de/entity/Q45802252018-08-13Paper
Polymorphic bytecode2017-07-14Paper
Generalizing Inference Systems by Coaxioms2017-05-19Paper
Type safe incremental rebinding2017-04-04Paper
An algebraic approach to mixins and modularity2017-01-19Paper
Incremental rebinding with name polymorphism2016-08-05Paper
An imperative pure calculus2016-08-05Paper
Aliasing Control in an Imperative Pure Calculus2016-01-08Paper
Principal typings for Java-like languages2015-11-11Paper
A Parametric Calculus for Mobile Open Code2013-12-06Paper
https://portal.mardi4nfdi.de/entity/Q28517042013-10-02Paper
https://portal.mardi4nfdi.de/entity/Q28486932013-09-26Paper
Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages2012-05-24Paper
Extending the lambda-calculus with unbind and rebind2011-06-10Paper
Theoretical Computer Science2010-02-23Paper
Type Inference by Coinductive Logic Programming2009-07-02Paper
A Framework for Type Safe Exchange of Mobile Code2009-03-05Paper
A calculus of open modules: call-by-need strategy and confluence2007-09-06Paper
Trustworthy Global Computing2006-11-01Paper
https://portal.mardi4nfdi.de/entity/Q46734232005-04-29Paper
https://portal.mardi4nfdi.de/entity/Q30467652004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44491782004-02-08Paper
A calculus of module systems2002-05-14Paper
https://portal.mardi4nfdi.de/entity/Q27792642002-04-15Paper
A theory of mixin modules: algebraic laws and reduction semantics2002-01-01Paper
https://portal.mardi4nfdi.de/entity/Q27220152001-07-11Paper
Deriving proof rules from continuation semantics2000-05-07Paper
Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages1999-11-01Paper
From static to dynamic abstract data-types: An institution transformation1999-04-28Paper
A theory of mixin modules: basic and derived operators1999-04-22Paper
https://portal.mardi4nfdi.de/entity/Q43756291998-06-11Paper
An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract)1997-02-04Paper
A free construction of dynamic terms1996-07-16Paper
D-oids: a model for dynamic data-types1996-05-28Paper
Parametric channels via label expressions in CCS1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33165691982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39698581981-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Elena Zucca