Guillaume Ambal

According to our database, Guillaume Ambal authored at least 4 papers between 2021 and 2022.

Collaborative distances:

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

2022

Skeletal semantics transformations. (Transformations de sémantiques squelettiques).

Guillaume Ambal

PhD thesis, 2022

Certified Derivation of Small-Step From Big-Step Skeletal Semantics.

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

Certified abstract machines for skeletal semantics.

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

HOπ in Coq.

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt

J. Autom. Reason., 2021