Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough.

Daniel Winograd-Cort Paul Hudak

Published in: ICFP (2014)

Keyphrases

higher order
high frequency
high speed
signal processing
first order logic
decision trees
non stationary
quantifier elimination
databases
neural network
case study
relational databases
frequency domain
basis functions
wavelet analysis