Travelled to:1 × France
1 × USA
Collaborated with:J.Launchbury B.Cook E.Meijer M.Shields
Talks about:microarchitectur (1) implicit (1) paramet (1) languag (1) within (1) static (1) haskel (1) design (1) scope (1) embed (1)
Person: Jeffrey R. Lewis
DBLP: Lewis:Jeffrey_R=
Contributed to:
2000
1999Wrote 2 papers:
- POPL-2000-LewisLMS #parametricity #static typing
- Implicit Parameters: Dynamic Scoping with Static Types (JRL, JL, EM, MS), pp. 108–118.
- ICFP-1999-LaunchburyLC #architecture #design #haskell #on the
- On Embedding a Microarchitectural Design Language within Haskell (JL, JRL, BC), pp. 60–69.