Reactive probabilistic programming
- Guillaume Baudart
- Louis Mandel
- et al.
- 2020
- PLDI 2020
Publications
5 results for Marc Pouzet
Synchronous programming at the French-speaking Conference on Applicative Languages (JFLA)
- Guillaume Baudart
- Louis Mandel
- et al.
- 2019
- JFLA 2019
Symbolic simulation of dataflow synchronous programs with timers
- Guillaume Baudart
- Timothy Bourke
- et al.
- 2017
- FDL 2017
Time refinement in a functional synchronous language
- Louis Mandel
- Cédric Pasteur
- et al.
- 2015
- Science of Computer Programming
ReactiveML, ten years later
- Louis Mandel
- Cédric Pasteur
- et al.
- 2015
- PPDP 2015