%0 Conference Proceedings %F siek2008gradual %A Siek, J.G. %A Vachharajani, M. %T Gradual typing with unification-based inference %B Proceedings of the 2008 symposium on Dynamic languages %P 1-12 %U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/siek2008.pdf %D 2008 %K dyntyp