rml.bib

@inproceedings{MandelPasteurPouzet-PPDP-2015,
  author = {Louis Mandel and C{\'e}dric Pasteur and Marc Pouzet},
  title = {{ReactiveML}, Ten Years Later},
  booktitle = {Proceedings of 17th {ACM SIGPLAN} International Symposium on Principles and Practice of Declarative Programming ({PPDP'15})},
  year = 2015,
  month = jul,
  address = {Siena, Italy},
  url = {MandelPasteurPouzet-PPDP-2015.pdf}
}
@article{MandelPasteurPouzet-SCP-2015,
  author = {Louis Mandel and C{\'e}dric Pasteur and Marc Pouzet},
  title = {Time refinement in a functional synchronous language},
  journal = {Science of Computer Programming},
  volume = {111, Part 1},
  pages = {190 - 211},
  year = 2015,
  note = {Special Issue on Principles and Practice of Declarative Programming ({PPDP 2013})},
  url = {MandelPasteurPouzet-SCP-2015.pdf},
  webpage = {http://reactiveml.org/scp15}
}
@inproceedings{MandelPasteur-SAS-2014,
  author = {Louis Mandel and C{\'e}dric Pasteur},
  title = {Reactivity of Cooperative Systems},
  booktitle = {Proceedings of 21st International Static Analysis Symposium (SAS'14)},
  year = 2014,
  month = sep,
  address = {Munich, Germany},
  url = {MandelPasteur-SAS-2014.pdf},
  webpage = {http://reactiveml.org/sas14}
}
@techreport{MandelPasteur-SAS-extended-2014,
  author = {Louis Mandel and C{\'e}dric Pasteur},
  title = {Reactivity of Cooperative Systems -- extended version},
  institution = {INRIA},
  number = 8549,
  year = 2014,
  note = {Available at: \url{http://reactiveml.org/sas14}},
  type = {Research Report},
  url = {MandelPasteur-SAS-extended-2014.pdf}
}
@inproceedings{MandelPasteur-JFLA-2014,
  author = {Louis Mandel and C{\'e}dric Pasteur},
  title = {Ex{\'e}cution efficace de programmes {ReactiveML}},
  booktitle = {Vingt-cinqui{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs (JFLA'14)},
  year = 2014,
  month = jan,
  address = {Fr{\'e}jus, France},
  url = {MandelPasteur-JFLA-2014.pdf}
}
@phdthesis{Pasteur-These,
  author = {C{\'e}dric Pasteur},
  title = {Raffinement temporel et ex{\'e}cution parall{\`e}le dans un langage synchrone fonctionnel},
  school = {Universit{\'e} Paris 6},
  year = {2013},
  url = {Pasteur-These.pdf},
  webpage = {http://reactiveml.org/these_pasteur}
}
@inproceedings{BaudartJacquemardMandelPouzet-EMSOFT-2013,
  author = {Guillaume Baudart and Florent Jacquemard and Louis Mandel and Marc Pouzet},
  title = {A Synchronous Embedding of {Antescofo}, a Domain-Specific Language for Interactive Mixed Music},
  booktitle = {Thirteen International Conference on Embedded Software (EMSOFT'13)},
  year = 2013,
  month = sep,
  address = {Montreal, Canada},
  url = {BaudartJacquemardMandelPouzet-EMSOFT-2013.pdf},
  webpage = {http://reactiveml.org/emsoft13}
}
@inproceedings{BaudartMandelPouzet-FARM-2013,
  author = {Guillaume Baudart and Louis Mandel and Marc Pouzet},
  title = {Programming Mixed Music in {ReactiveML}},
  booktitle = {ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design ({FARM'13})},
  year = 2013,
  month = sep,
  address = {Boston, USA},
  note = {Workshop ICFP 2013},
  url = {BaudartMandelPouzet-FARM-2013.pdf},
  webpage = {http://reactiveml.org/farm13}
}
@inproceedings{MandelPasteurPouzet-PPDP-2013,
  author = {Louis Mandel and C{\'e}dric Pasteur and Marc Pouzet},
  title = {Time Refinement in a Functional Synchronous Language},
  booktitle = {Proceedings of 15th {ACM SIGPLAN} International Symposium on Principles and Practice of Declarative Programming ({PPDP'13})},
  year = 2013,
  address = {Madrid, Spain},
  month = sep,
  url = {MandelPasteurPouzet-PPDP-2013.pdf},
  webpage = {http://reactiveml.org/ppdp13}
}
@inproceedings{MandelPasteur-JFLA-2013,
  author = {Louis Mandel and C{\'e}dric Pasteur},
  title = {R{\'e}activit{\'e} des syst{\`e}mes coop{\'e}ratifs : le cas de {ReactiveML}},
  booktitle = {Vingt-quatri{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs ({JFLA'13})},
  year = 2013,
  month = feb,
  address = {Aussois, France},
  url = {MandelPasteur-JFLA-2013.pdf},
  webpage = {http://reactiveml.org/jfla13}
}
@inproceedings{MandelPlateau-SLAP-2008,
  author = {Louis Mandel and Florence Plateau},
  title = {Interactive Programming of Reactive Systems},
  booktitle = {Proceedings of Model-driven High-level Programming of Embedded Systems ({SLA++P'08})},
  year = 2008,
  month = apr,
  address = {Budapest, Hungary},
  url = {MandelPlateau-SLAP-2008.pdf}
}
@article{MandelPouzet-TSI-2008,
  author = {Louis Mandel and Marc Pouzet},
  title = {{ReactiveML} : un langage fonctionnel pour la programmation r{\'e}active},
  journal = {Technique et Science Informatiques ({TSI})},
  year = 2008,
  volume = 27,
  number = {9--10/2008},
  pages = {1097--1128},
  url = {MandelPouzet-TSI-2008.pdf}
}
@inproceedings{MorelMandel-FESCA-2007,
  author = {Lionel Morel and Louis Mandel},
  title = {Executable Contracts for Incremental Prototypes of Embedded Systems},
  booktitle = {Formal Foundations of Embedded Software
                  and Component-Based Software Architectures ({FESCA'07})},
  month = mar,
  year = 2007,
  url = {MorelMandel-FESCA-2007.pdf}
}
@phdthesis{Mandel-These,
  author = {Louis Mandel},
  title = {Conception, S{\'e}mantique et Implantation de {ReactiveML} : un langage {\`a} la {ML} pour la programmation r{\'e}active},
  school = {Universit{\'e} Paris 6},
  year = {2006},
  url = {Mandel-These.pdf}
}
@inproceedings{SamperMaraninchiMounierMandel-InterSense-2006,
  author = {Ludovic Samper and Florence Maraninchi and Laurent Mounier
                  and Louis Mandel},
  title = {{GLONEMO}: Global and Accurate Formal Models for the Analysis of Ad hoc Sensor Networks},
  booktitle = {Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks ({InterSense'06})},
  year = {2006},
  address = {Nice, France},
  month = may,
  url = {SamperMaraninchiMounierMandel-InterSense-2006.pdf}
}
@inproceedings{MandelPouzet-PPDP-2005,
  author = {Louis Mandel and Marc Pouzet},
  title = {{ReactiveML}, a Reactive Extension to {ML}},
  booktitle = {Proceedings of 7th {ACM SIGPLAN} International Symposium on Principles and Practice of Declarative Programming ({PPDP'05})},
  year = 2005,
  address = {Lisbon, Portugal},
  month = jul,
  url = {MandelPouzet-PPDP-2005.pdf},
  url2 = {MandelPouzet-PPDPextended-2005.pdf}
}
@inproceedings{MandelBenbadis-SLAP-2005,
  author = {Louis Mandel and Farid Benbadis},
  title = {Simulation of Mobile Ad hoc Network Protocols in {ReactiveML}},
  booktitle = {Proceedings of Synchronous Languages, Applications, and Programming ({SLAP'05})},
  publisher = {Electronic Notes in Theoretical Computer Science},
  year = 2005,
  month = apr,
  address = {Edinburgh, Scotland},
  url = {MandelBenbadis-SLAP-2005.pdf}
}
@inproceedings{MandelPouzet-JFLA-2005,
  author = {Louis Mandel and Marc Pouzet},
  title = {{ReactiveML}, un langage pour la programmation r{\'e}active en {ML}},
  booktitle = {Journ{\'e}es Francophones des Langages Applicatifs ({JFLA'05})},
  year = 2005,
  address = {Obernai, France},
  month = mar,
  publisher = {INRIA},
  url = {MandelPouzet-JFLA-2005.ps}
}