@inproceedings{99621,
 author = {Alex Aiken and Brian Murphy},
 title = {Static type inference in a dynamically typed language},
 booktitle = {Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1991},
 isbn = {0-89791-419-8},
 pages = {279--290},
 location = {Orlando, Florida, United States},
 doi = {http://doi.acm.org/10.1145/99583.99621},
 publisher = {ACM Press},
 }