Symbolic Simulation of Microprocessor Models using Type Classes in Haskell. - Nancy A. Day; Jeffrey R. Lewis; Byron Cook (CHARME, 1999)

On Embedding a Microarchitectural Design Language within Haskell. - John Launchbury; Jeffrey R. Lewis; Byron Cook (ICFP, 1999)

Implicit Parameters: Dynamic Scoping with Static Types. - Jeffrey R. Lewis; John Launchbury; Erik Meijer 001; Mark Shields (POPL, 2000)