6 ms·
Interesting... I hadn't heard of Siek's work before. A link: http://ecee.colorado.edu/~siek/gradualtyping.html http://ecee.colorado.edu/~siek/gradualtyping.html
by tnovelli 17y ago
Interesting... I hadn't heard of Siek's work before.
A link: http://ecee.colorado.edu/~siek/gradualtyping.html http://ecee.colorado.edu/~siek/gradualtyping.html