16 citations · 33 across the 4 of their papers we have counts for
1 paper · 1 filter
Frank Emrich, Sam Lindley, Jan Stolarek +2
ML is remarkable in providing statically typed polymorphism without the programmer ever having to write any type annotations. The cost of this parsimony is that the programmer is l…