Louis Mandel 
contact information
Research Staff MemberThomas J. Watson Research Center, Yorktown Heights, NY USA +1
9149452108
9149452108 links
more information
More information: Personal webpage2021
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar
Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'21), pp. 497-510, 2021
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar
Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'21), pp. 497-510, 2021
2020
Compiling Stan to Generative Probabilistic Languages
Guillaume Baudart, Javier Burroni, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
2nd International Conference on Probabilistic Programming (ProbProg'20), 2020
poster
Guillaume Baudart, Javier Burroni, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
2nd International Conference on Probabilistic Programming (ProbProg'20), 2020
poster
Programming Reactive Probabilistic Applications
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
2nd International Conference on Probabilistic Programming (ProbProg'20), 2020
poster
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
2nd International Conference on Probabilistic Programming (ProbProg'20), 2020
poster
WiP. A Co-Iterative Synchronous Interpreter
Guillaume Baudart, Jean-Louis Colaço, Louis Mandel, Michael Mendler, Marc Pouzet
Forum on specification & Design Languages (FDL'20), 2020
Guillaume Baudart, Jean-Louis Colaço, Louis Mandel, Michael Mendler, Marc Pouzet
Forum on specification & Design Languages (FDL'20), 2020
A Principled Approach to GraphQL Query Cost Analysis
Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim A. Laredo
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 257–268, 2020
Alan Cha, Erik Wittern, Guillaume Baudart, James C. Davis, Louis Mandel, Jim A. Laredo
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 257–268, 2020
Reactive Probabilistic Programming
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'20), pp. 898–912, 2020
Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'20), pp. 898–912, 2020
Programmation d'Applications Reactives Probabilistes
Guillaume Baudart, Louis Mandel, Marc Pouzet, Eric Atkinson, Benjamin Sherman, Michael Carbin
Trente-et-uniemes Journees Francophones des Langages Applicatifs (JFLA'20), 2020
Guillaume Baudart, Louis Mandel, Marc Pouzet, Eric Atkinson, Benjamin Sherman, Michael Carbin
Trente-et-uniemes Journees Francophones des Langages Applicatifs (JFLA'20), 2020
2019
Programmation Synchrone aux JFLA
Guillaume Baudart, Louis Mandel, Marc Pouzet
Trentiemes Journees Francophones des Langages Applicatifs (JFLA'19), 2019
Guillaume Baudart, Louis Mandel, Marc Pouzet
Trentiemes Journees Francophones des Langages Applicatifs (JFLA'19), 2019
Machine Learning in Python with No Strings Attached
Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL'19), 2019
Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages (MAPL'19), 2019
An Empirical Study of GraphQL Schemas
Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel
Proceedings of the 17th International Conference on Service-Oriented Computing (ICSOC'19), pp. 3--19, 2019
Erik Wittern, Alan Cha, James C. Davis, Guillaume Baudart, Louis Mandel
Proceedings of the 17th International Conference on Service-Oriented Computing (ICSOC'19), pp. 3--19, 2019
2018
Deep Probabilistic Programming Languages: A Qualitative Study
Guillaume Baudart, Martin Hirzel, Louis Mandel
Workshop on Machine Learning and Programming Languages (MAPL'18) , 2018
Poster, PLDI Workshop
Guillaume Baudart, Martin Hirzel, Louis Mandel
Workshop on Machine Learning and Programming Languages (MAPL'18) , 2018
Poster, PLDI Workshop
Implement your own ReactiveML
Guillaume Baudart, Louis Mandel, C\'edric Pasteur, Marc Pouzet
Tutorial at the 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP'18), 2018
Guillaume Baudart, Louis Mandel, C\'edric Pasteur, Marc Pouzet
Tutorial at the 23rd ACM SIGPLAN International Conference on Functional Programming (ICFP'18), 2018
Watertight Probabilistic Abstractions in Python
Guillaume Baudart, Avraham Shinnar, Martin Hirzel, Louis Mandel
1st International Conference on Probabilistic Programming (ProbProg'18), 2018
poster
Guillaume Baudart, Avraham Shinnar, Martin Hirzel, Louis Mandel
1st International Conference on Probabilistic Programming (ProbProg'18), 2018
poster
Probabilistic Reactive Programming
Louis Mandel, Guillaume Baudart, Avraham Shinnar, Kiran Kate, Martin Hirzel
1st International Conference on Probabilistic Programming (ProbProg'18), 2018
poster
Louis Mandel, Guillaume Baudart, Avraham Shinnar, Kiran Kate, Martin Hirzel
1st International Conference on Probabilistic Programming (ProbProg'18), 2018
poster
Reactive Chatbot Programming
Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jerome Simeon
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS'18), 2018
SPLASH Workshop
Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jerome Simeon
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS'18), 2018
SPLASH Workshop
A Reactive Language for Analyzing Cloud Logs
Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS'18), 2018
SPLASH Workshop
Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS'18), 2018
SPLASH Workshop
Programmer des Chatbots en OCaml avec Watson Conversation Service
Guillaume Baudart, Louis Mandel, Jéréme Siméon
Vingt-neuvièmes Journées Francophones des Langages Applicatifs (JFLA'18), 2018
Guillaume Baudart, Louis Mandel, Jéréme Siméon
Vingt-neuvièmes Journées Francophones des Langages Applicatifs (JFLA'18), 2018
2017
Generating Chat Bots from Web API Specifications
Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel
Proceedings of the ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!'17), pp. 44--57, 2017
Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel
Proceedings of the ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!'17), pp. 44--57, 2017
I Can Parse You: Grammars for Dialogs
Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri
Summit on Advances in Programming Languages (SNAPL'17), 2017
Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri
Summit on Advances in Programming Languages (SNAPL'17), 2017
Prototyper un compilateur de requêtes avec Coq
Joshua Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA'17), 2017
Joshua Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA'17), 2017
CloudLens, un langage de script pour l'analyse de données semi-structurées
Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandan Vaziri
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA'17), 2017
Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandan Vaziri
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA'17), 2017
Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler
Joshua Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Proceedings of the International Conference on Management of Data (SIGMOD'17), 2017
Joshua Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Proceedings of the International Conference on Management of Data (SIGMOD'17), 2017
Q*cert: A Platform for Implementing and Verifying Query Compilers
Joshua S Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Proceedings of the International Conference on Management of Data (SIGMOD'17), pp. 1703--1706, 2017
Joshua S Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Proceedings of the International Conference on Management of Data (SIGMOD'17), pp. 1703--1706, 2017
Prototyping a Query Compiler Using Coq (Experience Report)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Proceedings of the ACM on Programming Languages (ICFP'17) 1(ICFP), 9:1--9:15, ACM, 2017
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Proceedings of the ACM on Programming Languages (ICFP'17) 1(ICFP), 9:1--9:15, ACM, 2017
2016
META: Middleware for Events, Transactions, and Analytics
Matthew Arnold, David Grove, Benjamin Herta, Michael Hind, Martin Hirzel, Arun Iyengar, Louis Mandel, Vijay A. Saraswat, Avraham Shinnar, Jérôme Siméon, Mikio Takeuchi, Olivier Tardieu, Wei Zhang
IBM Journal of Research and Development 60(2-3), 2016
Matthew Arnold, David Grove, Benjamin Herta, Michael Hind, Martin Hirzel, Arun Iyengar, Louis Mandel, Vijay A. Saraswat, Avraham Shinnar, Jérôme Siméon, Mikio Takeuchi, Olivier Tardieu, Wei Zhang
IBM Journal of Research and Development 60(2-3), 2016
Control Structure Overloading in X10
Louis Mandel, Josh Milthorpe, Olivier Tardieu
Proceedings of the 6th ACM SIGPLAN Workshop on X10 (X10'16), 2016
Workshop PLDI 2016
Louis Mandel, Josh Milthorpe, Olivier Tardieu
Proceedings of the 6th ACM SIGPLAN Workshop on X10 (X10'16), 2016
Workshop PLDI 2016
2015
ReactiveML, Ten Years Later
Louis Mandel, Cédric Pasteur, Marc Pouzet
Proceedings of 17th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'15), 2015
Louis Mandel, Cédric Pasteur, Marc Pouzet
Proceedings of 17th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'15), 2015
Time refinement in a functional synchronous language
Louis Mandel, Cédric Pasteur, Marc Pouzet
Science of Computer Programming111, Part 1, 190 - 211, 2015
Special Issue on Principles and Practice of Declarative Programming (SCP'15)
Louis Mandel, Cédric Pasteur, Marc Pouzet
Science of Computer Programming111, Part 1, 190 - 211, 2015
Special Issue on Principles and Practice of Declarative Programming (SCP'15)
2014
Réseaux de Kahn à rafales et horloges entières
Adrien Guatto, Louis Mandel
Vingt-cinquièmes Journées Francophones des Langages Applicatifs, 2014
Adrien Guatto, Louis Mandel
Vingt-cinquièmes Journées Francophones des Langages Applicatifs, 2014
Exécution efficace de programmes ReactiveML
Louis Mandel, Cédric Pasteur
Vingt-cinquièmes Journées Francophones des Langages Applicatifs, 2014
Louis Mandel, Cédric Pasteur
Vingt-cinquièmes Journées Francophones des Langages Applicatifs, 2014
Reactivity of Cooperative Systems -- extended version
Louis Mandel, Cédric Pasteur
Technical Report 8549, INRIA, 2014
Available at: \urlhttp://reactiveml.org/sas14
Louis Mandel, Cédric Pasteur
Technical Report 8549, INRIA, 2014
Available at: \urlhttp://reactiveml.org/sas14
Reactivity of Cooperative Systems
Louis Mandel, Cédric Pasteur
Proceedings of 21st International Static Analysis Symposium (SAS'14), 2014
Louis Mandel, Cédric Pasteur
Proceedings of 21st International Static Analysis Symposium (SAS'14), 2014
2013
Réactivité des systèmes coopératifs : le cas de ReactiveML
Louis Mandel, Cédric Pasteur
Vingt-quatrièmes Journées Francophones des Langages Applicatifs (JFLA 2013)
Louis Mandel, Cédric Pasteur
Vingt-quatrièmes Journées Francophones des Langages Applicatifs (JFLA 2013)
Programming Mixed Music in ReactiveML
Guillaume Baudart, Louis Mandel, Marc Pouzet
ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design (FARM 2013)
Workshop ICFP 2013
Guillaume Baudart, Louis Mandel, Marc Pouzet
ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design (FARM 2013)
Workshop ICFP 2013
A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music
Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet
Thirteen International Conference on Embedded Software (EMSOFT 2013)
Guillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet
Thirteen International Conference on Embedded Software (EMSOFT 2013)
2012
Constrained Types--Future Directions
Saraswat, Vijay and Cunningham, David and Hadarean, Liana and Mandel, Louis and Shinnar, Avraham and Tardieu, Olivier
CP-18th International Conference on Principles and Practice of Constraint Programming-2012
Abstract
Saraswat, Vijay and Cunningham, David and Hadarean, Liana and Mandel, Louis and Shinnar, Avraham and Tardieu, Olivier
CP-18th International Conference on Principles and Practice of Constraint Programming-2012
Abstract
Scheduling and Buffer Sizing of n-Synchronous Systems:
Typing of Ultimately Periodic Clocks in Lucy-n
Louis Mandel, Florence Plateau
Eleventh International Conference on Mathematics of Program Construction (MPC 2012)
Louis Mandel, Florence Plateau
Eleventh International Conference on Mathematics of Program Construction (MPC 2012)
Constrained Types - Future Directions
Vijay Saraswat, David Cunningham, Liana Hadarean, Louis Mandel, Avraham Shinnar, Olivier Tardieu
18th International Conference on Principles and Practice of Constraint Programming, 2012
Position Paper
Vijay Saraswat, David Cunningham, Liana Hadarean, Louis Mandel, Avraham Shinnar, Olivier Tardieu
18th International Conference on Principles and Practice of Constraint Programming, 2012
Position Paper
2011
Typage des horloges périodiques en Lucy-n
Louis Mandel, Florence Plateau
Vingt deuxièmes Journées Francophones des Langages Applicatifs (JFLA 2011)
Louis Mandel, Florence Plateau
Vingt deuxièmes Journées Francophones des Langages Applicatifs (JFLA 2011)
Proposal for a Dynamic Synchronous Language
Pejman Attar, Frédéric Boussinot, Louis Mandel, Jean-Ferdy Susini
Technical Report 590420, INRIA, 2011
Pejman Attar, Frédéric Boussinot, Louis Mandel, Jean-Ferdy Susini
Technical Report 590420, INRIA, 2011
Static Scheduling of Latency Insensitive Designs with Lucy-n
Louis Mandel, Florence Plateau, Marc Pouzet
Formal Methods in Computer Aided Design (FMCAD 2011)
Louis Mandel, Florence Plateau, Marc Pouzet
Formal Methods in Computer Aided Design (FMCAD 2011)
2010
Cours de ReactiveML
Louis Mandel
Vingt et unièmes Journées Francophones des Langages Applicatifs (JFLA 2010)
Louis Mandel
Vingt et unièmes Journées Francophones des Langages Applicatifs (JFLA 2010)
Lucy-n : une extension n-synchrone de Lustre
Louis Mandel, Florence Plateau, Marc Pouzet
Vingt et unièmes Journées Francophones des Langages Applicatifs (JFLA 2010)
Louis Mandel, Florence Plateau, Marc Pouzet
Vingt et unièmes Journées Francophones des Langages Applicatifs (JFLA 2010)
Clock Typing of n-Synchronous Programs
Louis Mandel, Florence Plateau, Marc Pouzet
Designing Correct Circuits (DCC 2010)
Louis Mandel, Florence Plateau, Marc Pouzet
Designing Correct Circuits (DCC 2010)
Lucy-n: a n-Synchronous Extension of Lustre
Louis Mandel, Florence Plateau, Marc Pouzet
Tenth International Conference on Mathematics of Program Construction (MPC 2010)
Louis Mandel, Florence Plateau, Marc Pouzet
Tenth International Conference on Mathematics of Program Construction (MPC 2010)
2009
Abstraction d'horloges dans les systèmes synchrones flot de données
Louis Mandel, Florence Plateau
Vingtièmes Journées Francophones des Langages Applicatifs (JFLA 2009), INRIA
Louis Mandel, Florence Plateau
Vingtièmes Journées Francophones des Langages Applicatifs (JFLA 2009), INRIA
Relaxing Synchronous Composition with Clock Abstraction
Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet
Hardware Design using Functional Languages (HFL 2009), pp. 35-52
Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet
Hardware Design using Functional Languages (HFL 2009), pp. 35-52
The ReactiveML Toplevel (Tool Demonstration)
Louis Mandel, Florence Plateau, Marc Pouzet
ACM SIGPLAN Workshop on ML, 2009
Workshop ICFP 2009
Louis Mandel, Florence Plateau, Marc Pouzet
ACM SIGPLAN Workshop on ML, 2009
Workshop ICFP 2009
2008
Programming in JoCaml (Tool Demonstration)
Louis Mandel, Luc Maranget
17th European Symposium on Programming (ESOP 2008), pp. 108--111
Louis Mandel, Luc Maranget
17th European Symposium on Programming (ESOP 2008), pp. 108--111
ReactiveML : un langage fonctionnel pour la programmation réactive
Louis Mandel, Marc Pouzet
Technique et Science Informatiques (TSI) 27(9--10/2008), 1097--1128
Louis Mandel, Marc Pouzet
Technique et Science Informatiques (TSI) 27(9--10/2008), 1097--1128
Abstraction of Clocks in Synchronous Data-flow Systems
Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet
The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS 2008)
Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet
The Sixth ASIAN Symposium on Programming Languages and Systems (APLAS 2008)
Interactive Programming of Reactive Systems
Louis Mandel, Florence Plateau
Proceedings of Model-driven High-level Programming of Embedded Systems (SLA++P 2008), pp. 44--59, Elsevier Science Publishers
Louis Mandel, Florence Plateau
Proceedings of Model-driven High-level Programming of Embedded Systems (SLA++P 2008), pp. 44--59, Elsevier Science Publishers
2007
Executable Contracts for Incremental Prototypes of Embedded Systems
Lionel Morel, Louis Mandel
Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2007)
Lionel Morel, Louis Mandel
Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2007)
The JoCaml system
Louis Mandel, Luc Maranget
2007
Software and documentation available at \urlhttp://jocaml.inria.fr/
Louis Mandel, Luc Maranget
2007
Software and documentation available at \urlhttp://jocaml.inria.fr/
Programming in JoCaml -- extended version
Louis Mandel, Luc Maranget
Technical Report 6261, INRIA, 2007
Louis Mandel, Luc Maranget
Technical Report 6261, INRIA, 2007
2006
Simulation of Ad hoc Networks in ReactiveML
Farid Benbadis, Louis Mandel, Marc Pouzet, Ludovic Samper
Unpublished, 2006
En préparation
Farid Benbadis, Louis Mandel, Marc Pouzet, Ludovic Samper
Unpublished, 2006
En préparation
GLONEMO: Global and Accurate Formal Models for the Analysis of Ad hoc Sensor Networks
Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel
Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks (InterSense 2006)
Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel
Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks (InterSense 2006)
Simulation and verification of asynchronous systems by means of a synchronous model
Nicolas Halbwachs, Louis Mandel
Sixth International Conference on Application of Concurrency to System Design (ACSD 2006)
Nicolas Halbwachs, Louis Mandel
Sixth International Conference on Application of Concurrency to System Design (ACSD 2006)
Report on modeling GALS in SCADE
DVT Cluster
Technical Report, ASSERT Project, 2006
DVT Cluster
Technical Report, ASSERT Project, 2006
Conception, Sémantique et Implantation de ReactiveML : un langage à la ML pour la programmation réactive
Louis Mandel
Ph.D. Thesis, 2006
Louis Mandel
Ph.D. Thesis, 2006
Prototype of AADL simulation in SCADE
DVT Cluster
Technical Report, ASSERT Project, 2006
DVT Cluster
Technical Report, ASSERT Project, 2006
2005
ReactiveML, un langage pour la programmation réactive en ML
Louis Mandel, Marc Pouzet
Journées Francophones des Langages Applicatifs (JFLA 2005), INRIA
Louis Mandel, Marc Pouzet
Journées Francophones des Langages Applicatifs (JFLA 2005), INRIA
Simulation of Mobile Ad hoc Network Protocols in ReactiveML
Louis Mandel, Farid Benbadis
Proceedings of Synchronous Languages, Applications, and Programming (SLAP 2005), Electronic Notes in Theoretical Computer Science
Louis Mandel, Farid Benbadis
Proceedings of Synchronous Languages, Applications, and Programming (SLAP 2005), Electronic Notes in Theoretical Computer Science
ReactiveML, a Reactive Extension to ML
Louis Mandel, Marc Pouzet
Proceedings of 7th ACM SIGPLAN International conference on Principles and Practice of Declarative Programming (PPDP 2005)
Louis Mandel, Marc Pouzet
Proceedings of 7th ACM SIGPLAN International conference on Principles and Practice of Declarative Programming (PPDP 2005)