Sticks&Stones(ID:1018/sti001)

Hardware description language. Functional, polymorphic, loosely based on ML.

Structures:
Related languages
ML => Sticks&Stones   Adaptation of
Sticks&Stones => Sticks&Stones II   Evolution of
References:
  • Cardelli, L. "An Algebraic Approach to Hardware Description and Verification", Thesis, Edinburgh U, 1982 view details