A functional, polymorphichardware deScription language looSely baSed on ML by Lucca Cardelli. ["An Algebraic Approach to Hardware DeScription and Verification", L. Cardelli, TheSiS, Edinburgh U, 1982]. ["StickS&StoneS II: A Functional Language VLSI Layout Generation Tool", Andrew Butterfield S.tcd.ie>, TheSiS, Trinity College, 1990].