On embedding a microarchitectural design language within Haskell (1999)

by John Launchbury, Jeffrey R. Lewis, Byron Cook
Venue:In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP ’99