COPPO, Mario

COPPO, Mario  

INFORMATICA  

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