Searching for authors named "Mario Coppo" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
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
Showing 1 through 5.
