Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

5 results for Marc Pouzet

Reactive probabilistic programming
- - Guillaume Baudart
  - Louis Mandel
  - et al.
- 2020
- PLDI 2020
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
ReactiveML, ten years later
- - Louis Mandel
  - Cédric Pasteur
  - et al.
- 2015
- PPDP 2015
Time refinement in a functional synchronous language
- - Louis Mandel
  - Cédric Pasteur
  - et al.
- 2015
- Science of Computer Programming