CAFÉIN public website

CAFEIN project is funded by ANR INS 2012 with support from Aerospace Valley and System@tic competitivity clusters.

It is related to the US NSF project CrAVES - Credible Autocoding and Verification of Embedded Software.

Accueil du site > Publications > CAFEIN paper @ PPDP’15

CAFEIN paper @ PPDP’15

jeudi 17 décembre 2015, par Pierre-Loic Garoche

Louis Mandel, Cédric Pasteur, and Marc Pouzet. ReactiveML, ten years later. In Moreno Falaschi and Elvira Albert, editors, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pages 6–17. ACM, 2015.

SPIP | squelette | | Plan du site | Suivre la vie du site RSS 2.0