Louis Mandel
Louis Mandel
IBM Research
Verified email at - Homepage
Cited by
Cited by
ReactiveML: a reactive extension to ML
L Mandel, M Pouzet
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
Simulation and verification of asynchronous systems by means of a synchronous model
N Halbwachs, L Mandel
Sixth International Conference on Application of Concurrency to System …, 2006
GLONEMO: Global and accurate formal models for the analysis of ad-hoc sensor networks
L Samper, F Maraninchi, L Mounier, L Mandel
Proceedings of the first international conference on Integrated internet ad …, 2006
Lucy-n: a n-synchronous extension of Lustre
L Mandel, F Plateau, M Pouzet
International Conference on Mathematics of Program Construction, 288-309, 2010
Abstraction of clocks in synchronous data-flow systems
A Cohen, L Mandel, F Plateau, M Pouzet
ASIAN Symposium on Programming Languages and Systems, 237-254, 2008
An empirical study of GraphQL schemas
E Wittern, A Cha, JC Davis, G Baudart, L Mandel
International Conference on Service-Oriented Computing, 3-19, 2019
Generating chat bots from web API specifications
M Vaziri, L Mandel, A Shinnar, J Siméon, M Hirzel
Proceedings of the 2017 ACM SIGPLAN international symposium on new ideas …, 2017
Time refinement in a functional synchronous language
L Mandel, C Pasteur, M Pouzet
Science of Computer Programming 111, 190-211, 2015
Conception, Sémantique et Implantation de ReactiveML: un langagea la ML pour la programmation réactive
L Mandel
PhD thesis, Université Pierre et Marie Currie (Paris 6), 2006
Interactive programming of reactive systems
L Mandel, F Plateau
Electronic Notes in Theoretical Computer Science 238 (1), 21-36, 2009
Handling environments in a nested relational algebra with combinators and an implementation in a verified query compiler
JS Auerbach, M Hirzel, L Mandel, A Shinnar, J Siméon
Proceedings of the 2017 ACM International Conference on Management of Data …, 2017
Simulation of mobile ad hoc network protocols in ReactiveML
L Mandel, F Benbadis
Proceedings of Synchronous Languages, Applications, and Programming, 2005
Generating chat bots from web API specifications
M Hirzel, L Mandel, AE Shinnar, J Simeon, M Vaziri, C Wiecha
US Patent 10,388,285, 2019
Reactive chatbot programming
G Baudart, M Hirzel, L Mandel, A Shinnar, J Siméon
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and …, 2018
Reactive probabilistic programming
G Baudart, L Mandel, E Atkinson, B Sherman, M Pouzet, M Carbin
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
META: Middleware for events, transactions, and analytics
M Arnold, D Grove, B Herta, M Hind, M Hirzel, A Iyengar, L Mandel, ...
IBM Journal of Research and Development 60 (2-3), 15: 1-15: 10, 2016
ReactiveML, ten years later
L Mandel, C Pasteur, M Pouzet
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
Programming in JoCaml (Tool Demonstration)
L Mandel, L Maranget
European Symposium on Programming, 108-111, 2008
ReactiveML: un langage fonctionnel pour la programmation réactive
M Pouzet, L Mandel
Technique et Science Informatiques 27 (9-10), 1097-1128, 2008
I can parse you: Grammars for dialogs
M Hirzel, L Mandel, A Shinnar, J Siméon, M Vaziri
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
The system can't perform the operation now. Try again later.
Articles 1–20