Sfoglia per Autore
Isomorphism of intersection and union types
2017-01-01 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
Partial and Complete Processes in Multiparty Sessions
2015-01-01 Coppo, Mario; Dezani, Mariangiola; Margaria, Ines; Zacchi, Maddalena
On Isomorphism of "Functional" Intersection and Union Types.
2015-01-01 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
Isomorphism of "Functional" Intersection Types
2014-01-01 M. Coppo;M. Dezani;I. Margaria;M. Zacchi
Toward Isomorphism of Intersection and Union Types
2013-01-01 Mario Coppo; Mariangiola Dezani; Ines Margaria; Maddalena Zacchi
SPAn - Session Progress Analyzer
2012-01-01 Federico Angaramo; Paolo Inaudi; Ines Margaria; Luca Padovani
CWC Surface Language Software (Prototypal Software)
2011-01-01 L. Bioglio; M. Coppo; F. Damiani; E. Sciacca; S. Spinella; A. Troina; I. Margaria
SWRTJ - Sugared Welterweight Record-Trait Java
2010-01-01 Lorenzo Bettini; Ferruccio Damiani; Ines Margaria; Fabio Strocco
DeltaJ: a delta oriented programming language with core and delta modules
2010-01-01 Lorenzo Bettini; Ferruccio Damiani; Ines Margaria; Denis Meglio; Ina Schaefer; Fabio Strocco
Access control in mobile ambient calculi: A comparative view
2008-01-01 I. MARGARIA; M. ZACCHI
A filter model for safe ambients
2004-01-01 I. MARGARIA; M. ZACCHI
Generalized filter models
2000-01-01 I. MARGARIA; M. ZACCHI
Principal typing in a for-all intersection discipline
1995-01-01 I. MARGARIA; M. ZACCHI
Filter models with polymorphic types
1992-01-01 B. JACOBS; I. MARGARIA; M. ZACCHI
Polymorphic Types, Fixed-point Combinators , Continuous Lambda-models
1987-01-01 M. Dezani; I. Margaria
A characterization of F-complete assignments
1986-01-01 M. DEZANI-CIANCAGLINI; I. MARGARIA
A Characterization of F-Complete Type Assignments
1986-01-01 M. Dezani-Ciancaglini; I. Margaria
A CCS-Based Method to Describe Concurrent Systems: Application to the CNET Communication System
1985-01-01 C. Beretta; A. Franconieri; I. Margaria; S. Ronchi; M.Zacchi
Semantics of the CNET Internode Communication Mechanism
1985-01-01 C. Beretta; A. Franconieri; I. Margaria; S. Ronchi della Rocca; M. Zacchi
Semantica della macchina X-CODE
1984-01-01 C. Beretta; A. Franconieri; I. Margaria; S. Ronchi della Rocca; M. Zacchi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Isomorphism of intersection and union types | 2017 | Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena | |
| Partial and Complete Processes in Multiparty Sessions | 2015 | Coppo, Mario; Dezani, Mariangiola; Margaria, Ines; Zacchi, Maddalena | |
| On Isomorphism of "Functional" Intersection and Union Types. | 2015 | Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena | |
| Isomorphism of "Functional" Intersection Types | 2014 | M. Coppo;M. Dezani;I. Margaria;M. Zacchi | |
| Toward Isomorphism of Intersection and Union Types | 2013 | Mario Coppo; Mariangiola Dezani; Ines Margaria; Maddalena Zacchi | |
| SPAn - Session Progress Analyzer | 2012 | Federico Angaramo; Paolo Inaudi; Ines Margaria; Luca Padovani | |
| CWC Surface Language Software (Prototypal Software) | 2011 | L. Bioglio; M. Coppo; F. Damiani; E. Sciacca; S. Spinella; A. Troina; I. Margaria | |
| SWRTJ - Sugared Welterweight Record-Trait Java | 2010 | Lorenzo Bettini; Ferruccio Damiani; Ines Margaria; Fabio Strocco | |
| DeltaJ: a delta oriented programming language with core and delta modules | 2010 | Lorenzo Bettini; Ferruccio Damiani; Ines Margaria; Denis Meglio; Ina Schaefer; Fabio Strocco | |
| Access control in mobile ambient calculi: A comparative view | 2008 | I. MARGARIA; M. ZACCHI | |
| A filter model for safe ambients | 2004 | I. MARGARIA; M. ZACCHI | |
| Generalized filter models | 2000 | I. MARGARIA; M. ZACCHI | |
| Principal typing in a for-all intersection discipline | 1995 | I. MARGARIA; M. ZACCHI | |
| Filter models with polymorphic types | 1992 | B. JACOBS; I. MARGARIA; M. ZACCHI | |
| Polymorphic Types, Fixed-point Combinators , Continuous Lambda-models | 1987 | M. Dezani; I. Margaria | |
| A characterization of F-complete assignments | 1986 | M. DEZANI-CIANCAGLINI; I. MARGARIA | |
| A Characterization of F-Complete Type Assignments | 1986 | M. Dezani-Ciancaglini; I. Margaria | |
| A CCS-Based Method to Describe Concurrent Systems: Application to the CNET Communication System | 1985 | C. Beretta; A. Franconieri; I. Margaria; S. Ronchi; M.Zacchi | |
| Semantics of the CNET Internode Communication Mechanism | 1985 | C. Beretta; A. Franconieri; I. Margaria; S. Ronchi della Rocca; M. Zacchi | |
| Semantica della macchina X-CODE | 1984 | C. Beretta; A. Franconieri; I. Margaria; S. Ronchi della Rocca; M. Zacchi |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile