Time refinement in a functional synchronous language
- Louis Mandel
- Cédric Pasteur
- et al.
- 2015
- Science of Computer Programming
I am a Research Staff Member at the Watson Research Center. My main research topic is on the design and implementation of programming languages. I am currently working on probabilistic programming.
Since I joined IBM, I have worked on many different projects which includes this following open source projects:
Before joining IBM, I have in particular developed the following languages: