<language, functional programming>

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

Last updated: 2008-03-04

Nearby terms:

STFUSTFWSticks&Stonessticky analysissticky bitsticky content

Try this search on Wikipedia, OneLook, Google