Jacques Le Normand

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 1

Publications

Jacques Garrigue, Jacques Le Normand
GADTs and Exhaustiveness: Looking for the Impossible. ML Family/OCaml (2015)