Generating netlists from executable circuit speci in a pure functional language (1992)

by J T O'Donnell
Venue:in J. Launchbury & P. Sansom, eds, `Functional Programming, Glasgow 1992', Workshops in Computing, Springer-Verlag