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

Paul Laforgue, Yann RĂ©gis-Gianas. Copattern matching and first-class observations in OCaml, with a macro. In Wim Vanhoof, Brigitte Pientka, editors, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. pages 97-108, ACM, 2017. [doi]

Abstract

Abstract is missing.