Benoît Vaugon

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 4

Top Topics

Fully Functional

High Level Abstractions

Top Venues

J. Comput. Lang.

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
Programming microcontrollers through high-level abstractions: The OMicroB project. J. Comput. Lang. 77 (2023)
Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux
Programming microcontrollers through high-level abstractions. VMIL@SPLASH (2020)
Benoît Vaugon, Michel Mauny
A Type Inference System Based on Saturation of Subtyping Constraints. TFP (2016)
Benoît Vaugon, Philippe Wang, Emmanuel Chailloux
Programming Microcontrollers in OCaml: The OCaPIC Project. PADL (2015)