| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 1996 | |
|---|---|---|
| 3 |      | Maria Virginia Aponte, Roberto Di Cosmo: Type Isomorphisms for Module Signatures. PLILP 1996: 334-346 |
| 1993 | ||
| 2 | | Maria Virginia Aponte: Extending Record Typing to Type Parametric Modules with Sharing. POPL 1993: 465-478 |
| 1984 | ||
| 1 |  | Maria Virginia Aponte, José Alberto Fernández, Philippe Roussel: Editing First-Order Proofs: Programmed Rules vs Derived Rules. SLP 1984: 92-98 |
| 1 | Roberto Di Cosmo | [3] |
| 2 | José Alberto Fernández | [1] |
| 3 | Philippe Roussel | [1] |
Colors in the list of coauthors
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page