|
Edinburgh Research Archive >
Browsing by Author Abadi, Martin
Showing results 1 to 6 of 6
| Issue Date | Title | Author(s) | Supervisor(s) | | 1993 | A Calculus for Access Control in Distributed Systems | Abadi, Martin; Burrows, Michael; Lampson, Butler; Plotkin, Gordon | - |
| 3-Nov-2003 | FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES | Abadi, Martin; Pierce, Benjamin; Plotkin, Gordon | - |
| 5-Nov-2003 | A Logic for Parametric Polymorphism | Plotkin, Gordon; Abadi, Martin | - |
| 5-Nov-2003 | A Logical View of Composition | Abadi, Martin; Plotkin, Gordon | - |
| 5-Nov-2003 | A Per Model of Polymorphism and Recursive Types | Abadi, Martin; Plotkin, Gordon | - |
| 5-Nov-2003 | Subtyping and Parametricity | Plotkin, Gordon; Abadi, Martin; Cardelli, Luca | - |
Showing results 1 to 6 of 6
|
