Roberto Bellucci

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1995

1 Roberto Bellucci, Martín Abadi, Pierre-Louis Curien: A Model for Formal Parametric Polymorphism: A PER Interpretation for System R. TLCA 1995: 32-46

	1995
1		Roberto Bellucci, Martín Abadi, Pierre-Louis Curien: A Model for Formal Parametric Polymorphism: A PER Interpretation for System R. TLCA 1995: 32-46

Coauthor Index

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page