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
A Principled Approach to GraphQL Query Cost Analysis
- Alan Cha
- Erik Wittern
- et al.
- 2022
- ESEC/FSE 2022
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