Neil D. Jones
Flow Analysis of λ Expressions
ICALP, 1981.
@inproceedings{ICALP-1981-Jones, author = "Neil D. Jones", booktitle = "{Proceedings of the Eighth Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-10843-2_10", isbn = "3-540-10843-2", pages = "114--128", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Flow Analysis of λ Expressions}", volume = 115, year = 1981, }