Samuel Vrech

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Marco Comini, Ferruccio Damiani, Samuel Vrech: On Polymorphic Recursion, Type Systems, and Abstract Interpretation. SAS 2008: 144-158

	2008
1		Marco Comini, Ferruccio Damiani, Samuel Vrech: On Polymorphic Recursion, Type Systems, and Abstract Interpretation. SAS 2008: 144-158

Coauthor Index