On embedding a microarchitectural design language within Haskell

John Launchbury, Jeffrey R. Lewis, Byron Cook
1999 Proceedings of the fourth ACM SIGPLAN international conference on Functional programming - ICFP '99  
Based on our experience with modelling and verifying microarchitectural designs within Haskell, this paper examines our use of Haskell as host for an embedded language. In particular, we highlight our use of Haskell's lazy lists, type classes, lazy state monad, and unsafePerformIO. We also point t o s e v eral areas where Haskell could be improved.
doi:10.1145/317636.317784 dblp:conf/icfp/LaunchburyLC99 fatcat:dfxrokougzf6xg5f3x4vbinadm