A Mechanized Formalization of an FRP Language with Effects.

Jordan Ischard, Frdric Dabrowski, Jules Chouquet, Frdric Loulergue

Browse the full SAC paper archive.