Alexander Aiken, Manuel Fähndrich
Dynamic Typing and Subtype Inference
FPCA, 1995.
@inproceedings{FPCA-1995-AikenF, author = "Alexander Aiken and Manuel Fähndrich", booktitle = "{Conference Record of the Seventh SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture}", isbn = "0-89791-595-X", pages = "182--191", publisher = "{ACM Press}", title = "{Dynamic Typing and Subtype Inference}", year = 1995, }