Ferruccio Damiani

Available identifiers

zbMath Open damiani.ferruccioDBLP19/4742WikidataQ58217745 ScholiaQ58217745MaRDI QIDQ235603

List of research outcomes

Publication	Date of Publication	Type
On a higher-order calculus of computational fields	2024-02-06	Paper
Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala	2023-03-22	Paper
On logical and extensional characterizations of attributed feature models	2022-04-01	Paper
Refinement types for program analysis	2022-02-16	Paper
On two characterizations of feature models	2021-07-08	Paper
Type inference for bimorphic recursion	2021-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q5151035	2021-02-16	Paper
https://portal.mardi4nfdi.de/entity/Q5129944	2020-11-03	Paper
From distributed coordination to field calculus and aggregate computing	2019-11-28	Paper
Standard type soundness for agents and artifacts	2019-02-08	Paper
A higher-order calculus of computational fields	2019-02-07	Paper
A core calculus for dynamic delta-oriented programming	2018-06-26	Paper
Polymorphic bytecode	2017-07-14	Paper
Verifying traits: an incremental proof system for fine-grained reuse	2016-08-05	Paper
Type-based self-stabilisation for computational fields	2016-01-07	Paper
On flexible dynamic trait replacement for Java-like languages	2014-04-02	Paper
Compositional type checking of delta-oriented software product lines	2013-06-26	Paper
Combining traits with boxes and ownership types in a Java-like setting	2013-06-06	Paper
Simulation techniques for the calculus of wrapped compartments	2012-05-30	Paper
Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?	2011-01-21	Paper
Refined effects for unanticipated object re-classification: \(\mathcal{F}{\mathit ickle}_{3}\) (extended abstract)	2010-02-23	Paper
A type safe state abstraction for coordination in JAVA-like languages	2009-03-20	Paper
Alias types and effects for ``environments-aware computations	2009-02-12	Paper
On Polymorphic Recursion, Type Systems, and Abstract Interpretation	2008-08-28	Paper
Rank 2 intersection for recursive definitions	2007-07-20	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q3024904	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4472544	2004-08-04	Paper
A conjunctive type system for useless-code elimination	2003-06-23	Paper
Fickle: Dynamic Object Re-classification	2002-04-15	Paper
Strictness, totality, and non-standard-type inference	2002-03-03	Paper
Automatic useless-code elimination for HOT functional programs	2001-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4508295	2000-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4490757	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4246944	1999-12-13	Paper
https://portal.mardi4nfdi.de/entity/Q4699353	1999-11-10	Paper
A filter model for mobile processes	1999-04-13	Paper
https://portal.mardi4nfdi.de/entity/Q4368373	1998-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4364386	1997-11-17	Paper

Research outcomes over time

This page was built for person: Ferruccio Damiani