RML : Reactive ML

Équipe : SPI
Software Leader : Louis MANDEL
http://rml.inria.fr