3 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Arthur Charguéraud
Cryptic type error messages are a major obstacle to learning OCaml or other ML-based languages. In many cases, error messages cannot be interpreted without a sufficiently-precise m…