BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Harrison:William_L=

Contributed to:

LCTES 20152015
SAIG 20012001
Haskell 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.