Time refinement in a functional synchronous language

Science of Computer Programming - Tập 111 - Trang 190-211 - 2015
Louis Mandel1, Cédric Pasteur2, Marc Pouzet3,2,4
1IBM Research, Yorktown Heights, NY, USA
2DI, École normale supérieure, Paris, France
3Université Pierre-et-Marie-Curie, Paris, France
4Inria Paris-Rocquencourt, France