Lava: Hardware Design in Haskell (1998)

Cached

Download Links

by Per Bjesse , Koen Claessen , Mary Sheeran
Citations:123 - 8 self