[Demo abstract] Sound and soundness: practical total functional data-flow programming.

Baltasar Trancn y Widemann, Markus Lepper

Browse the full ICFP paper archive.