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

Baltasar Trancón y Widemann Markus Lepper

Published in: FARM@ICFP (2014)

Keyphrases

data flow
database machine
control flow
digital signal processing
data transfer
programming language
systolic array
high level
object oriented software
functional language
bottle neck
real world
open source
abstract data types
hands on guide