Baltasar Trancón-y-Widemann, Markus Lepper. [Demo abstract] Sound and soundness: practical total functional data-flow programming. In Alex McLean, Michael Sperber, Henrik Nilsson, editors, Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design, FARM@ICFP 2014, Gothenburg, Sweden, September 1-3, 2014. pages 35-36, ACM, 2014. [doi]
Abstract is missing.