dblp.uni-trier.dewww.uni-trier.de

Jeffrey R. Lewis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Byron Cook [1] [2]
2Nancy A. Day [2]
3John Launchbury [1] [3]
4Erik Meijer [3]
5Mark Shields [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)