2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Jacques Garrigue, Jacques Le Normand
Sound exhaustiveness checking of pattern-matching is an essential feature of functional programming languages, and OCaml supports it for GADTs. However this check is incomplete, in…