Marco Comini, Ferruccio Damiani, Samuel Vrech. On Polymorphic Recursion, Type Systems, and Abstract Interpretation. In María Alpuente, Germán Vidal, editors, Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings. Volume 5079 of Lecture Notes in Computer Science, pages 144-158, Springer, 2008. [doi]
@inproceedings{CominiDV08,
title = {On Polymorphic Recursion, Type Systems, and Abstract Interpretation},
author = {Marco Comini and Ferruccio Damiani and Samuel Vrech},
year = {2008},
doi = {10.1007/978-3-540-69166-2_10},
url = {http://dx.doi.org/10.1007/978-3-540-69166-2_10},
tags = {type system},
researchr = {https://researchr.org/publication/CominiDV08},
cites = {0},
citedby = {0},
pages = {144-158},
booktitle = {Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings},
editor = {María Alpuente and Germán Vidal},
volume = {5079},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-69163-1},
}