-
Acute: High-level programming language design for distributed computation : D...
This paper studies key issues for distributed programming in high-level languages. We discuss the design space and describe an experimental language, Acute, which we... -
Carbon dioxide absorption by monoethanolamine in hollow fiber membrane contac...
International audience -
Polyurea-Urethane Supramolecular Thermo-Reversible Networks
International audience -
Programming with Dependent Types in Coq: a Study of Square Matrices
Unpublished, but worth reading. -
Disassembly sequencing for end-of-life products
International audience
