Mariangiola Dezani-ciancaglini, Ronchi Della Rocca
Abstract. Aim of this paper is to understand the interplay between intersection and reference types. Putting together the standard typing rules for intersection types and reference types leads to...
Linearity: an Analytic Tool in the Study of (2008)
Marco Gaboardi, Prof. Ssa Simona, Ronchi Della Rocca, Coordinatore Del Dottorato, Prof Pietro Torasso, ...
pour l’obtention du Doctorat de l’Institut National Polytechnique de Lorraine (spécialité informatique) et du Doctorat de l’Universitá degli studi di Torino (spécialité informatique) par
Mariangiola Dezani-ciancaglini, Ronchi Della Rocca
Abstract. Aim of this paper is to understand the interplay between intersection and reference types. Putting together the standard typing rules for intersection types and reference types leads to...