Abstract
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 unsafePerformI0, and point to several areas where Haskell could be improved in the future. We end with an example of a benefit gained by bringing the functional perspective to microarchitectural modelling. © 1999 ACM.
Cite
CITATION STYLE
Launchbury, J., Lewis, J. R., & Cook, B. (1999). On embedding a microarchitectural design language within Haskell. SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 34(9), 60–69. https://doi.org/10.1145/317765.317784
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
