Niklaus Haldiman, Marcus Denker, Oscar Nierstrasz. Practical, pluggable types for a dynamic language. Computer Languages, Systems \& Structures, 35(1):48-62, 2009. [doi]
@article{HaldimanDN09,
title = {Practical, pluggable types for a dynamic language},
author = {Niklaus Haldiman and Marcus Denker and Oscar Nierstrasz},
year = {2009},
doi = {10.1016/j.cl.2008.06.003},
url = {http://dx.doi.org/10.1016/j.cl.2008.06.003},
researchr = {https://researchr.org/publication/HaldimanDN09},
cites = {0},
citedby = {0},
journal = {Computer Languages, Systems \& Structures},
volume = {35},
number = {1},
pages = {48-62},
}