A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
On embedding a microarchitectural design language within Haskell
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