Segui
Louis Mandel
Louis Mandel
IBM Research
Email verificata su us.ibm.com - Home page
Titolo
Citata da
Citata da
Anno
ReactiveML: a reactive extension to ML
L Mandel, M Pouzet
Proceedings of the 7th ACM SIGPLAN international conference on Principles …, 2005
1592005
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
662006
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
622006
An empirical study of GraphQL schemas
E Wittern, A Cha, JC Davis, G Baudart, L Mandel
Service-Oriented Computing: 17th International Conference, ICSOC 2019 …, 2019
412019
Lucy-n: a n-synchronous extension of Lustre
L Mandel, F Plateau, M Pouzet
Mathematics of Program Construction: 10th International Conference, MPC 2010 …, 2010
392010
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
342017
Abstraction of clocks in synchronous data-flow systems
A Cohen, L Mandel, F Plateau, M Pouzet
Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008
332008
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
302020
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
262019
Time refinement in a functional synchronous language
L Mandel, C Pasteur, M Pouzet
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
212013
Interactive programming of reactive systems
L Mandel, F Plateau
Electronic Notes in Theoretical Computer Science 238 (1), 21-36, 2009
202009
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
192018
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
192006
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
182017
Simulation of mobile ad hoc network protocols in ReactiveML
L Mandel, F Benbadis
Proceedings of Synchronous Languages, Applications, and Programming, 2005
162005
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
15*2016
ReactiveML, ten years later
L Mandel, C Pasteur, M Pouzet
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
152015
ReactiveML: un langage fonctionnel pour la programmation réactive
M Pouzet, L Mandel
Technique et Science Informatiques 27 (9-10), 1097-1128, 2008
14*2008
Programming in JoCaml (Tool Demonstration)
L Mandel, L Maranget
Programming Languages and Systems: 17th European Symposium on Programming …, 2008
122008
Deep probabilistic programming languages: A qualitative study
G Baudart, M Hirzel, L Mandel
arXiv preprint arXiv:1804.06458, 2018
112018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20