Antoine Madet

According to our database, Antoine Madet authored at least 7 papers between 2009 and 2013.

Collaborative distances:

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

2013

Certified Complexity (CerCo).

Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Implicit Complexity in Concurrent Lambda-Calculi. (Complexité Implicite de Lambda-Calculs Concurrents).

Antoine Madet

PhD thesis, 2012

A polynomial time λ-calculus with multithreading and side effects.

Antoine Madet

Proceedings of the Principles and Practice of Declarative Programming, 2012

Indexed Realizability for Bounded-Time Programming with References and Type Fixpoints.

Aloïs Brunel, Antoine Madet

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Elementary affine λ-calculus with multithreading and side effects

Antoine Madet, Roberto M. Amadio

CoRR, 2011

An Elementary Affine <i>λ</i>-Calculus with Multithreading and Side Effects.

Antoine Madet, Roberto M. Amadio

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

2009

An affine-intuitionistic system of types and effects: confluence and termination

Roberto M. Amadio, Patrick Baillot, Antoine Madet

CoRR, 2009