Mads Tofte
Region Inference for Higher-Order Functional Languages
SAS, 1995.
@inproceedings{SAS-1995-Tofte, author = "Mads Tofte", booktitle = "{Proceedings of the Second International Static Analysis Symposium}", doi = "10.1007/3-540-60360-3_29", isbn = "3-540-60360-3", pages = "19--20", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Region Inference for Higher-Order Functional Languages}", volume = 983, year = 1995, }