Maria Virginia Aponte

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

Coauthor Index

1	Roberto Di Cosmo	[3]
2	José Alberto Fernández	[1]
3	Philippe Roussel	[1]

Colors in the list of coauthors