Benoît Vaugon

According to our database, Benoît Vaugon authored at least 5 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Programming microcontrollers through high-level abstractions: The OMicroB project.

Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux

J. Comput. Lang., November, 2023

2020

Programming microcontrollers through high-level abstractions.

Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux

Proceedings of the VMIL@SPLASH 2020: Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2020

2016

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

Benoît Vaugon

PhD thesis, 2016

A Type Inference System Based on Saturation of Subtyping Constraints.

Benoît Vaugon, Michel Mauny

Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

2015

Programming Microcontrollers in OCaml: The OCaPIC Project.

Benoît Vaugon, Philippe Wang, Emmanuel Chailloux

Proceedings of the Practical Aspects of Declarative Languages, 2015