Lava: Hardware design in haskell. (1998)

by Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh
Venue:In ICFP,