@inproceedings{224201,
 author = {Alexander Aiken and Manuel Fähndrich},
 title = {Dynamic typing and subtype inference},
 booktitle = {Proceedings of the seventh international conference on Functional programming languages and computer architecture},
 year = {1995},
 isbn = {0-89791-719-7},
 pages = {182--191},
 location = {La Jolla, California, United States},
 doi = {http://doi.acm.org/10.1145/224164.224201},
 publisher = {ACM Press},
 }