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: Westbrook:Edwin_M=
Contributed to:
2012
2010
2006
2005
2011Wrote 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.