Titolo	Data di pubblicazione	Autore(i)
1	Xtraitj: Traits for the Java platform	2017	Bettini, Lorenzo; Damiani, Ferruccio
2	Verifying traits: an incremental proof system for fine-grained reuse	2014	Ferruccio Damiani;Johan Dovland;Einar Broch Johnsen;Ina Schaefer
3	Verifying Traits: A Proof System for Fine-Grained Reuse	2011	Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Ina Schaefer
4	Useless-Code Detection and Elimination for PCF with Algebraic Data Types	1999	Ferruccio Damiani
5	A unified and formal programming model for deltas and traits	2017	Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael
6	Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract)	2000	Ferruccio Damiani
7	Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers	2004	S. BERARDI; M. COPPO; F. DAMIANI
8	Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers	2009	Stefano Berardi; Ferruccio Damiani; Ugo De' Liguoro
9	A type-sound calculus of computational fields	2016	Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob
10	Type-based useless-code elimination for functional programs - Position paper	2000	Stefano Berardi; Ferruccio Damiani; Mario Coppo; Paola Giannini
11	Type-based Self-stabilisation for Computational Fields	2015	Ferruccio Damiani, Mirko Viroli
12	Type Inference for Bimorphic Recursion	2011	Makoto Tatsuta; Ferruccio Damiani
13	Type Based Useless-Code Elimination for Functional Programs	2000	BERARDI S.; M. COPPO; DAMIANI F.; GIANNINI P.
14	TraitRecordJ: A programming language with traits and records	2013	Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco
15	A toolchain for delta-oriented modeling of software product lines	2016	Chesta, Cristina; Damiani, Ferruccio; Dobriakova, Liudmila; Guernieri, Marco; Martini, Simone; Nieke, Michael; Rodrigues, Vítor; Schuster, Sven
16	Three cases of composition and a question	2013	Ferruccio Damiani
17	SWRTJ - Sugared Welterweight Record-Trait Java	2010	Lorenzo Bettini; Ferruccio Damiani; Ines Margaria; Fabio Strocco
18	Strictness, totality, and non-standard type inference	2002	COPPO M; DAMIANI F; GIANNINI P
19	Stochastic Calculus of Wrapped Compartments	2010	M. Coppo; F. Damiani; M. Drocco; E. Grassi; A. Troina
20	Standard Type Soundness for Agents and Artifacts	2012	Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli