3 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Michael M. Vitousek, Jeremy G. Siek, Avik Chaudhuri
Gradual typing enables programmers to combine static and dynamic typing in the same language. However, ensuring a sound interaction between the static and dynamic parts can incur s…