28 citations · 34 across the 4 of their papers we have counts for
1 paper · 1 filter
Frank Emrich, Jan Stolarek, James Cheney +1
FreezeML is a new approach to first-class polymorphic type inference that employs term annotations to control when and how polymorphic types are instantiated and generalised. It co…