Travelled to:1 × Italy
1 × USA
Collaborated with:A.M.Procter T.Sheard P.S.Kariotis I.Graves M.Becchi G.Allwein
Talks about:metacomput (1) implement (1) templat (1) softwar (1) languag (1) hardwar (1) semant (1) haskel (1) driven (1) design (1)
Person: William L. Harrison
DBLP: Harrison:William_L=
Contributed to:
2015
2001
2008Wrote 3 papers:
- LCTES-2015-ProcterHGBA #design #hardware #implementation #semantics #verification
- Semantics Driven Hardware Design, Implementation, and Verification with ReWire (AMP, WLH, IG, MB, GA), p. 10.
- SAIG-2001-HarrisonS #adaptation #staged
- Dynamically Adaptable Software with Metacomputations in a Staged Language (WLH, TS), pp. 163–182.
- Haskell-2008-KariotisPH #haskell #monad
- Making monads first-class with template haskell (PSK, AMP, WLH), pp. 99–110.