Hydra: Hardware Descirption in a Functional Language using Recursion Equations and Higher Order Combining Forms

John O'Donnell

The full paper

• Somehow I have lost the files for this paper :-( but I'll post it here if I can ever find them.

Related links

• Other publications by John O'Donnell

BibTeX citation

@InProceedings{1988-OD-Hydra-FHDV,
  author =       {John O'Donnell},
  title =        {{Hydra}: hardware description in a functional language using
                  recursion equations and high order combining forms},
  booktitle =    {The Fusion of Hardware Design and Verification},
  pages =        {309--328},
  year =         1988,
  editor =       {G. J. Milne},
  address =      {Amsterdam},
  publisher =    {North-Holland}
}