Baptiste Pauget

According to our database, Baptiste Pauget authored at least 3 papers between 2018 and 2023.

Collaborative distances:

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

2023

A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines.

Jean-Louis Colaço, Michael Mendler, Baptiste Pauget, Marc Pouzet

ACM Trans. Embed. Comput. Syst., October, 2023

Polymorphic Types with Polynomial Sizes.

Jean-Louis Colaço, Baptiste Pauget, Marc Pouzet

Proceedings of the 9th ACM SIGPLAN International Workshop on Libraries, 2023

2018

Towards compilation of an imperative language for FPGAs.

Baptiste Pauget, David J. Pearce, Alex Potanin

Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2018