Jeffrey R. Lewis

According to our database, Jeffrey R. Lewis authored at least 3 papers between 1999 and 2000.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2000

Implicit Parameters: Dynamic Scoping with Static Types.

Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields

Proceedings of the POPL 2000, 2000

1999

On Embedding a Microarchitectural Design Language within Haskell.

John Launchbury, Jeffrey R. Lewis, Byron Cook

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

Symbolic Simulation of Microprocessor Models using Type Classes in Haskell.

Nancy A. Day, Jeffrey R. Lewis, Byron Cook

Proceedings of the Correct Hardware Design and Verification Methods, 1999