Clément Allain

According to our database, Clément Allain authored at least 3 papers between 2019 and 2025.

Collaborative distances:

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

2025

Tail Modulo Cons, OCaml, and Relational Separation Logic.

Clément Allain, Frédéric Bour, Basile Clément, François Pottier, Gabriel Scherer

Proc. ACM Program. Lang., 2025

2024

Snapshottable Stores.

Clément Allain, Basile Clément, Alexandre Moine, Gabriel Scherer

Proc. ACM Program. Lang., 2024

2019

Volume and surface area of Holstein dairy cows calculated from complete 3D shapes acquired using a high-precision scanning system: Interest for body weight estimation.

Yannick Le Cozler, Clément Allain, Caroline Xavier, Laurence Depuille, Anaïs Caillot, J. M. Delouard, Laurent Delattre, Thibault Luginbuhl, Philippe Faverdin

Comput. Electron. Agric., 2019