Conference paper
I can parse you: Grammars for dialogs
Martin Hirzel, Louis Mandel, et al.
SNAPL 2017
Martin Hirzel, Louis Mandel, et al.
SNAPL 2017
Olivier Tardieu, Benjamin Herta, et al.
PPoPP 2014
Louis Mandel, Cédric Pasteur, et al.
Science of Computer Programming
Guillaume Baudart, Javier Burroni, et al.
PLDI 2021