ReactiveML, ten years later
- Louis Mandel
- Cédric Pasteur
- et al.
- 2015
- PPDP 2015
Publications
Date
Featured collections
Popular topics
28 results for Louis Mandel
Semi-symbolic inference for efficient streaming probabilistic programming
- Eric Atkinson
- Charles Yuan
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
Translating canonical SQL to imperative code in Coq
- Véronique Benzaken
- Évelyne Contejean
- et al.
- 2022
- Proceedings of the ACM on Programming Languages
Learning GraphQL Query Cost
- Georgios Mavroudeas
- Guillaume Baudart
- et al.
- 2021
- ASE 2021
Prototyping a query compiler using coq (Experience report)
- Joshua S. Auerbach
- Martin Hirzel
- et al.
- 2017
- Proceedings of the ACM on Programming Languages
META: Middleware for Events, Transactions, and Analytics
- Matthew Arnold
- David Grove
- et al.
- 2016
- IBM J. Res. Dev
Time refinement in a functional synchronous language
- Louis Mandel
- Cédric Pasteur
- et al.
- 2015
- Science of Computer Programming
Inference Plans for Hybrid Particle Filtering
- Ellie Y. Cheng
- Eric Atkinson
- et al.
- 2025
- POPL 2025