The Ins and Outs of Gradual Type Interface

POPL 2012 - ACM SIGNAT-SIGPLAN Symposium on Principles of Programming Languages , Jan 25-27, 2012

Publication date: January 25, 2012

A. Chaudhuri, B. Hosmer, A. Rastogi