Login / Signup

Compiling Higher Order Functional Programs to Composable Digital Hardware.

Eduardo Aguilar-PelaezSamuel BaylissAlex I. SmithFelix WintersteinDan R. GhicaDavid B. ThomasGeorge 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