Back to Results
First PageMeta Content
Software engineering / Computer programming / Computing / Functional languages / Data types / Procedural programming languages / Functional programming / Type theory / Generalized algebraic data type / OCaml / ML / Caml


GADTs and exhaustiveness: looking for the impossible Jacques Garrigue Nagoya University
Add to Reading List

Document Date: 2015-09-10 01:45:47

Open Document

File Size: 45,15 KB

Share Result on Facebook