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 , Thesis, Trinity College, 1990].