Collaborated with:
Y.Régis-Gianas
Talks about:
copattern (1) observ (1) match (1) macro (1) first (1) class (1) caml (1)
Person: Paul Laforgue
DBLP: Laforgue:Paul
Contributed to:
Wrote 1 papers:
- PPDP-2017-LaforgueR #metaprogramming #ml #pattern matching
- Copattern matching and first-class observations in OCaml, with a macro (PL, YRG), pp. 97–108.