On Embedding a Microarchitectural Design Language within Haskell.

John Launchbury, Jeffrey R. Lewis, Byron Cook

Browse the full ICFP paper archive.