3 ms·

AFAIR/CT the following paper might be of interest to you: Jeremy Siek, Walid Taha: "Gradual Typing for Functional Languages", 2006 http://www.cs.colorado.edu/

by sb 17y ago

AFAIR/CT the following paper might be of interest to you: Jeremy Siek, Walid Taha: "Gradual Typing for Functional Languages", 2006 http://www.cs.colorado.edu/~siek/pubs/pubs/2006/siek06:_gradual.pdf http://www.cs.colorado.edu/~siek/pubs/pubs/2006/siek06:_grad...