Marco Comini, Ferruccio Damiani, Samuel Vrech
On Polymorphic Recursion, Type Systems, and Abstract Interpretation
SAS, 2008.
@inproceedings{SAS-2008-CominiDV, author = "Marco Comini and Ferruccio Damiani and Samuel Vrech", booktitle = "{Proceedings of the 15th International Static Analysis Symposium}", doi = "10.1007/978-3-540-69166-2_10", isbn = "978-3-540-69163-1", pages = "144--158", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{On Polymorphic Recursion, Type Systems, and Abstract Interpretation}", volume = 5079, year = 2008, }