Practical, pluggable types. - Niklaus Haldiman; Marcus Denker; Oscar Nierstrasz (ICDL, 2007)

Practical, pluggable types for a dynamic language. - Niklaus Haldiman; Marcus Denker; Oscar Nierstrasz (Comput. Lang. Syst. Struct., 2009)