Copattern matching and first-class observations in OCaml, with a macro. - Paul Laforgue; Yann Régis-Gianas (PPDP, 2017)

Constructive characterisations of the MUST-preorder for asynchrony. - Giovanni Bernardi 001; Ilaria Castellani; Paul Laforgue; Léo Stefanesco (ESOP (1), 2025)