Searching for authors named "Mario Coppo" – sorted by Relevance.
-
Incremental Inference of Partial Types
- Incremental Inference of Partial Types Mario Coppo and Daniel Hirschkoff Novembre 1998 N o 98
- Add To MetaCart
-
The M³ Paradigm - Types and Type Inference for Ambient and Process Mobility
- Inference for Ambient and Process Mobility Mario Coppo ⋆ , Mariangiola Dezani-Ciancaglini ⋆⋆ , Elio
- Add To MetaCart
-
Dynamic and Local Typing for Mobile Ambients
- DYNAMIC AND LOCAL TYPING FOR MOBILE AMBIENTS Mario Coppo 1∗ , Mariangiola Dezani-Ciancaglini 1
- Cited by 7 (4 self) – Add To MetaCart
-
Strictness, Totality, and Non-Standard Type Inference
- Strictness, totality, and non-standard type inference ? Mario Coppo a Ferruccio Damiani a
- Cited by 7 (0 self) – Add To MetaCart
-
M³: Mobility Types for Mobile Processes in Mobile Ambients
- ://www.elsevier.nl/locate/entcs/volume78.html 34 pages M 3 : Mobility Types for Mobile Processes in Mobile Ambients 5 Abstract Mario Coppo
- Add To MetaCart

