Login / Signup
Compiling Higher Order Functional Programs to Composable Digital Hardware.
Eduardo Aguilar-Pelaez
Samuel Bayliss
Alex I. Smith
Felix Winterstein
Dan R. Ghica
David B. Thomas
George A. Constantinides
Published in:
FCCM (2014)
Keyphrases
</>
functional programs
higher order
term rewriting systems
circuit design
lazy evaluation
logic programs
pairwise
functional language
databases
database
high level
data streams
stochastic grammar