Lava: Hardware Design in Haskell.

Per Bjesse Koen Claessen Mary Sheeran Satnam Singh

Published in: ICFP (1998)

Keyphrases

hardware design
programming language
functional programming
hardware implementation
plagiarism detection
fpga hardware
functional language
hardware software
artificial intelligence
high level
pairwise
general purpose
parallel architectures