12 citations · 12 across the 1 of their papers we have counts for
1 paper
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…