Jeremy G. Siek Manish Vachharajani Gradual typing with unification-based inference. 7 2008 DLS http://doi.acm.org/10.1145/1408681.1408688 conf/dls/2008 db/conf/dls/dls2008.html#SiekV08