Stem lava$ (all stems)
3 papers:
PADL-2012-GillN #logic #using- Handshaking in Kansas Lava Using Patch Logic (AG, BN), pp. 212–226.
DATE-2003-Singh #specification- System Level Specification in Lava (SS), pp. 10370–10375.
ICFP-1998-BjesseCSS #design #hardware #haskell #named- Lava: Hardware Design in Haskell (PB, KC, MS, SS), pp. 174–184.