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 × Canada
1 × China
1 × Estonia
1 × USA
Collaborated with:
I.Wehrman A.Stump N.Frisby P.Brauner J.Zhao Z.Budimlic V.Sarkar M.Ricken J.Inoue Y.Yao T.Abdelatif W.Taha
Talks about:
program (3) function (2) languag (2) slothrop (1) parallel (1) approach (1) practic (1) permiss (1) librari (1) correct (1)

Person: Edwin M. Westbrook

DBLP DBLP: Westbrook:Edwin_M=

Contributed to:

ECOOP 20122012
PLDI 20102010
RTA 20062006
ICFP 20052005
Haskell 20112011

Wrote 5 papers:

ECOOP-2012-WestbrookZBS #parallel
Practical Permissions for Race-Free Parallelism (EMW, JZ, ZB, VS), pp. 614–639.
PLDI-2010-WestbrookRIYAT #java #multi #named #programming #using
Mint: Java multi-stage programming using weak separability (EMW, MR, JI, YY, TA, WT), pp. 400–411.
RTA-2006-WehrmanSW #named #termination
Slothrop: Knuth-Bendix Completion with a Modern Termination Checker (IW, AS, EMW), pp. 287–296.
ICFP-2005-WestbrookSW #approach #imperative #programming
A language-based approach to functionally correct imperative programming (EMW, AS, IW), pp. 268–279.
Haskell-2011-WestbrookFB #encoding #functional #haskell #higher-order #library #programming language
Hobbits for Haskell: a library for higher-order encodings in functional programming languages (EMW, NF, PB), pp. 35–46.

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.