On embedding a microarchitectural design language within Haskell (1999)
Cached
Download Links
- [www.cse.ogi.edu]
- [www-internal.cse.ogi.edu]
- DBLP
Other Repositories/Bibliography
| Venue: | In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP ’99 |
| Citations: | 39 - 4 self |
BibTeX
@INPROCEEDINGS{Launchbury99onembedding,
author = {John Launchbury and Jeffrey R. Lewis and Byron Cook},
title = {On embedding a microarchitectural design language within Haskell},
booktitle = {In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP ’99},
year = {1999},
pages = {60--69},
publisher = {ACM Press}
}
Share
 |
 |
 |
 |
||
OpenURL
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 unsafePerformIO, 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.
