Sticks&Stones

Sticks&Stones

A functional, polymorphic hardware description languageloosely based on ML by Lucca Cardelli.

["An Algebraic Approach to Hardware Description andVerification", L. Cardelli, Thesis, Edinburgh U, 1982].

["Sticks&Stones II: A Functional Language VLSI LayoutGeneration Tool", Andrew Butterfield ,Thesis, Trinity College, 1990].