|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Ines Margaria | |
|---|---|
| Personal Home Page Type-Hierarchical Overview | |
| Chronological Overview | |
| 2017 | |
| Coppo, Dezani-Ciancaglini, Margaria and Zacchi | "Isomorphism of Intersection and Union Types" Article. |
| Coppo, Dezani-Ciancaglini, Díaz-Caro, Margaria and Zacchi | "Retractions in Intersection Types" In proceedings. |
| 2016 | |
| Coppo, Dezani-Ciancaglini, Margaria and Zacchi | "Partial and Complete Processes in Multiparty Sessions" In proceedings. |
| 2015 | |
| Coppo, Dezani-Ciancaglini, Margaria and Zacchi | "On Isomorphism of ``Functional'' Intersection and Union Types" In proceedings. |
| 2014 | |
| Coppo, Dezani-Ciancaglini, Margaria and Zacchi | "Isomorphism of "Functional" Intersection Types" In proceedings. |
| 2013 | |
| Coppo, Dezani-Ciancaglini, Margaria and Zacchi | "Towards Isomorphism of Intersection and Union Types" In proceedings. |
| 2003 | |
| Margaria and Zacchi | "A Filter Model for Safe Ambients" In proceedings. |
| 2000 | |
| Margaria and Zacchi | "Generalized filter models" Article. |
| 1995 | |
| Margaria and Zacchi | "Infinite Intersection Type Theory" Technical report. |
| Margaria and Zacchi | "Principal Typing in a Discipline" Article. |
| 1992 | |
| Jacobs, Margaria and Zacchi | "Filter models with polymorphic types" Article. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)