Programming Microcontrollers in OCaml: The OCaPIC Project. - Benoît Vaugon; Philippe Wang; Emmanuel Chailloux (PADL, 2015)

A Type Inference System Based on Saturation of Subtyping Constraints. - Benoît Vaugon; Michel Mauny (TFP, 2016)

Sous-Typage par Saturation de Contraintes, Théorie et Implémentation. (Subtyping by Constraint Saturation, Theory and Implementation). - Benoît Vaugon (2016)

Programming microcontrollers through high-level abstractions. - Steven Varoumas; Basile Pesin; Benoît Vaugon; Emmanuel Chailloux (VMIL@SPLASH, 2020)

Programming microcontrollers through high-level abstractions: The OMicroB project. - Steven Varoumas; Basile Pesin; Benoît Vaugon; Emmanuel Chailloux (J. Comput. Lang., 2023)