28 citations · 82 across the 19 of their papers we have counts for
1 paper · 2 filters
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…