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 × Portugal
1 × USA
Collaborated with:
D.Walker R.Libeskind-Hadas T.Hehre P.López F.Pfenning J.Polakow
Talks about:
linear (2) multicast (1) virtual (1) program (1) concurr (1) channel (1) region (1) toler (1) monad (1) logic (1)

Person: Kevin Watkins

DBLP DBLP: Watkins:Kevin

Contributed to:

PPDP 20052005
ICFP 20012001
HPCA 19961996

Wrote 3 papers:

PPDP-2005-LopezPPW #concurrent #linear #logic programming #monad
Monadic concurrent linear logic programming (PL, FP, JP, KW), pp. 35–46.
ICFP-2001-WalkerW #linear #on the
On Regions and Linear Types (DW, KW), pp. 181–192.
HPCA-1996-Libeskind-HadasWH #fault tolerance #multi
Fault-Tolerant Multicast Routing in the Mesh with No Virtual Channels (RLH, KW, TH), pp. 180–190.

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.