Selected publications

• ReactiveML, Ten Years Later.
  Louis Mandel, Cédric Pasteur and Marc Pouzet
  Principles and Practice of Declarative Programming (PPDP 2015)
  Most influential PPDP 2005 paper
  [ bib | .pdf ]
• Time Refinement in a Functional Synchronous Language.
  Louis Mandel, Cédric Pasteur and Marc Pouzet
  Science of Computer Programming, 111, Part 1:190 -- 211, 2015
  [ bib | .pdf | more details ]
• Reactivity of Cooperative Systems.
  Louis Mandel and Cédric Pasteur
  Static Analysis Symposium (SAS 2014)
  [ bib | .pdf | more details ]
• Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel.
  Cédric Pasteur
  Thèse de doctorat de l'université Paris 6, 2013
  [ bib | .pdf | more details ]
• Programming Mixed Music in ReactiveML.
  Guillaume Baudart, Louis Mandel and Marc Pouzet
  Functional Art, Music, Modeling and Design (FARM 2013)
  [ bib | .pdf | more details ]
• Interactive Programming of Reactive Systems.
  Louis Mandel and Florence Plateau
  Model-driven High-level Programming of Embedded Systems (SLA++P 2008)
  [ bib | .pdf | more details ]
• Conception, Sémantique et Implantation de ReactiveML : un langage à la ML pour la programmation réactive.
  Louis Mandel
  Thèse de doctorat de l'université Paris 6, 2006
  [ bib | .ps.gz | .pdf ]
• ReactiveML, a Reactive Extension to ML.
  Louis Mandel and Marc Pouzet
  Principles and Practice of Declarative Programming (PPDP 2005)
  [ bib | .pdf | extended version .pdf ]
• Simulation of Mobile Ad hoc Network Protocols in ReactiveML.
  Louis Mandel and Farid Benbadis
  Synchronous Languages, Applications, and Programming (SLAP 2005)
  [ bib | .pdf | more details ]

Full list of publications