Jeffrey R. Lewis

Publication Activity (10 Years)

Years Active: 1999-2000
Publications (10 Years): 0

Publications

Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields
Implicit Parameters: Dynamic Scoping with Static Types. POPL (2000)
Nancy A. Day, Jeffrey R. Lewis, Byron Cook
Symbolic Simulation of Microprocessor Models using Type Classes in Haskell. CHARME (1999)
John Launchbury, Jeffrey R. Lewis, Byron Cook
On Embedding a Microarchitectural Design Language within Haskell. ICFP (1999)