COPPO, Mario
COPPO, Mario
INFORMATICA
"Principal Types and Unification For a Simple Intersection Type System
1995-01-01 M. COPPO; GIANNINI P.
(Semi-)separability of Finite Sets of Terms in Scott's D-infinity-models of the Lambda-calculus
1978-01-01 M.Coppo; M.Dezani; S. Ronchi della Rocca
A cold neutron spectrometer for inelastic scattering studies
1974-01-01 G. Castagno;M. Coppo;F. D. Michelis;L. Saitta;A. Tartaglia
A Completeness Theorem for Recursively Defined Types.
1985-01-01 M. Coppo
A Filter Lambda Model and the Completeness of Type Assignment
1983-01-01 H. Barendregt;M. Coppo;M. Dezani-Ciancaglini
A fully abstract model for higher-order mobile ambients
2002-01-01 M. COPPO; DEZANI M.
A Fully Abstract Model for Mobile Ambients
2002-01-01 MARIO COPPO; M. DEZANI
A gentle introduction to multiparty asynchronous session types
2015-01-01
A Mobility Calculus with Local Dependent Types
2005-01-01 M. COPPO; F. COZZI; M. DEZANI; E. GIOVANNETTI; R. PUGLIESE
A modular multi-microprocessor oriented for real-time controls
1979-01-01 M. Coppo;A. Giordana
A new type assignment for lambda-terms
1978-01-01 Mario Coppo; Mariangiola Dezani
A Spatial Calculus of Wrapped Compartments
2011-01-01 Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina
A type inference approach to program analysis
1998-01-01 M. COPPO; DAMIANI F.; GIANNINI P.
Algorithms and Types
1980-01-01 M.Coppo; M.Dezani; A.Ressouche
Amalgamating Sessions and Methods in Object Oriented Languages with Generics
2009-01-01 Sara Capecchi; Mario Coppo; Mariangiola Dezani; Sophia Drossopoulou; Elena Giachino
Amalgamating the Session Types and the Object Oriented Programming Paradigms
2007-01-01 S. DROSSOPOULOU; M. DEZANI; M. COPPO
An extended polymorphic type system for applicative languages
1980-01-01 M. Coppo
An extension of the basic functionality theory for the lambda-calculus.
1980-01-01 M. Coppo; M. Dezani
Applicative Information Systems
1983-01-01 M.Coppo; M.Dezani; G.Longo
Asynchronous Session Types and Progress for Object-Oriented Languages
2007-01-01 M. COPPO; M. DEZANI; N. YOSHIDA