12 citations · 14 across the 3 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…