| |
| 2000 | ||
|---|---|---|
| 3 | EE | Jeffrey R. Lewis, John Launchbury, Erik Meijer, Mark Shields: Implicit Parameters: Dynamic Scoping with Static Types. POPL 2000: 108-118 |
| 1999 | ||
| 2 | EE | Nancy A. Day, Jeffrey R. Lewis, Byron Cook: Symbolic Simulation of Microprocessor Models using Type Classes in Haskell. CHARME 1999: 346-349 |
| 1 | EE | John Launchbury, Jeffrey R. Lewis, Byron Cook: On Embedding a Microarchitectural Design Language within Haskell. ICFP 1999: 60-69 |
| 1 | Byron Cook | [1] [2] |
| 2 | Nancy A. Day | [2] |
| 3 | John Launchbury | [1] [3] |
| 4 | Erik Meijer | [3] |
| 5 | Mark Shields | [3] |