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