Bruno Monsuez
An Attempt to Find Polymorphic Types by Abstract Interpretation
SAS, 1991.
@inproceedings{WSA-1991-Monsuez, author = "Bruno Monsuez", booktitle = "{Proceedings of the First Workshop on Static Analysis at JTASPEFL in Bordeaux}", pages = "18--25", publisher = "{Atelier Irisa, IRISA, Campus de Beaulieu}", series = "{Series Bigre}", title = "{An Attempt to Find Polymorphic Types by Abstract Interpretation}", volume = 74, year = 1991, }