| [21] |
Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jerome
Simeon.
Reactive chatbot programming.
In Proceedings of the 5th ACM SIGPLAN International Workshop on
Reactive and Event-Based Languages and Systems (REBLS'18), Boston, MA,
USA, November 2018.
SPLASH Workshop. [ bib | .pdf ] |
| [20] |
Louis Mandel, Guillaume Baudart, Avraham Shinnar, Kiran Kate, and Martin
Hirzel.
Probabilistic reactive programming.
In 1st International Conference on Probabilistic Programming
(ProbProg'18), Boston, MA, USA, October 2018.
poster. [ bib | .pdf ] |
| [19] |
Guillaume Baudart, Louis Mandel, Cédric Pasteur, and Marc Pouzet.
Implement your own reactiveml.
In Tutorial at the 23rd ACM SIGPLAN International Conference on
Functional Programming (ICFP'18), St. Louis, USA, September 2018. [ bib | more details ] |
| [18] |
Louis Mandel, Cédric Pasteur, and Marc Pouzet.
ReactiveML, ten years later.
In Proceedings of 17th ACM SIGPLAN International Symposium on
Principles and Practice of Declarative Programming (PPDP'15), Siena,
Italy, July 2015. [ bib | .pdf ] |
| [17] |
Louis Mandel, Cédric Pasteur, and Marc Pouzet.
Time refinement in a functional synchronous language.
Science of Computer Programming, 111, Part 1:190 -- 211, 2015.
Special Issue on Principles and Practice of Declarative Programming
(PPDP 2013). [ bib | more details | .pdf ] |
| [16] |
Louis Mandel and Cédric Pasteur.
Reactivity of cooperative systems.
In Proceedings of 21st International Static Analysis Symposium
(SAS'14), Munich, Germany, September 2014. [ bib | more details | .pdf ] |
| [15] |
Louis Mandel and Cédric Pasteur.
Reactivity of cooperative systems -- extended version.
Research Report 8549, INRIA, 2014.
Available at: http://reactiveml.org/sas14. [ bib | .pdf ] |
| [14] |
Louis Mandel and Cédric Pasteur.
Exécution efficace de programmes ReactiveML.
In Vingt-cinquièmes Journées Francophones des Langages
Applicatifs (JFLA'14), Fréjus, France, January 2014. [ bib | .pdf ] |
| [13] |
Cédric Pasteur.
Raffinement temporel et exécution parallèle dans un
langage synchrone fonctionnel.
PhD thesis, Université Paris 6, 2013. [ bib | more details | .pdf ] |
| [12] |
Guillaume Baudart, Florent Jacquemard, Louis Mandel, and Marc Pouzet.
A synchronous embedding of Antescofo, a domain-specific language
for interactive mixed music.
In Thirteen International Conference on Embedded Software
(EMSOFT'13), Montreal, Canada, September 2013. [ bib | more details | .pdf ] |
| [11] |
Guillaume Baudart, Louis Mandel, and Marc Pouzet.
Programming mixed music in ReactiveML.
In ACM SIGPLAN Workshop on Functional Art, Music, Modeling and
Design (FARM'13), Boston, USA, September 2013.
Workshop ICFP 2013. [ bib | more details | .pdf ] |
| [10] |
Louis Mandel, Cédric Pasteur, and Marc Pouzet.
Time refinement in a functional synchronous language.
In Proceedings of 15th ACM SIGPLAN International Symposium on
Principles and Practice of Declarative Programming (PPDP'13), Madrid,
Spain, September 2013. [ bib | more details | .pdf ] |
| [9] |
Louis Mandel and Cédric Pasteur.
Réactivité des systèmes coopératifs : le cas de
ReactiveML.
In Vingt-quatrièmes Journées Francophones des Langages
Applicatifs (JFLA'13), Aussois, France, February 2013. [ bib | more details | .pdf ] |
| [8] |
Louis Mandel and Florence Plateau.
Interactive programming of reactive systems.
In Proceedings of Model-driven High-level Programming of
Embedded Systems (SLA++P'08), Budapest, Hungary, April 2008. [ bib | .pdf ] |
| [7] |
Louis Mandel and Marc Pouzet.
ReactiveML : un langage fonctionnel pour la programmation
réactive.
Technique et Science Informatiques (TSI),
27(9--10/2008):1097--1128, 2008. [ bib | .pdf ] |
| [6] |
Lionel Morel and Louis Mandel.
Executable contracts for incremental prototypes of embedded systems.
In Formal Foundations of Embedded Software and Component-Based
Software Architectures (FESCA'07), March 2007. [ bib | .pdf ] |
| [5] |
Louis Mandel.
Conception, Sémantique et Implantation de ReactiveML : un
langage à la ML pour la programmation réactive.
PhD thesis, Université Paris 6, 2006. [ bib | .pdf ] |
| [4] |
Ludovic Samper, Florence Maraninchi, Laurent Mounier, and Louis Mandel.
GLONEMO: Global and accurate formal models for the analysis of ad
hoc sensor networks.
In Proceedings of the First International Conference on
Integrated Internet Ad hoc and Sensor Networks (InterSense'06), Nice,
France, May 2006. [ bib | .pdf ] |
| [3] |
Louis Mandel and Marc Pouzet.
ReactiveML, a reactive extension to ML.
In Proceedings of 7th ACM SIGPLAN International Symposium on
Principles and Practice of Declarative Programming (PPDP'05), Lisbon,
Portugal, July 2005. [ bib | extended.pdf | .pdf ] |
| [2] |
Louis Mandel and Farid Benbadis.
Simulation of mobile ad hoc network protocols in ReactiveML.
In Proceedings of Synchronous Languages, Applications, and
Programming (SLAP'05), Edinburgh, Scotland, April 2005. Electronic Notes
in Theoretical Computer Science. [ bib | .pdf ] |
| [1] |
Louis Mandel and Marc Pouzet.
ReactiveML, un langage pour la programmation réactive en ML.
In Journées Francophones des Langages Applicatifs
(JFLA'05), Obernai, France, March 2005. INRIA. [ bib | .ps ] |