Copattern matching and first-class observations in OCaml, with a macro.

Paul Laforgue, Yann Rgis-Gianas

Browse the full PPDP paper archive.