Sticks&Stones
A {functional}, {polymorphic} {hardware 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].