3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek
In this paper, we describe our experience incorporating gradual types in a statically typed functional language with Hindley-Milner style type inference. Where most gradually typed…