Travelled to:1 × Denmark
1 × Germany
1 × Sweden
1 × USA
2 × Portugal
Collaborated with:M.Erwig S.Chen K.Ostermann Stephan Adelsberger A.Setzer John Peter Campora III Sheng Chen 0008 C.Kästner S.Apel E.Bodden
Talks about:variat (6) calculus (4) program (2) type (2) implement (1) tradeoff (1) structur (1) variabl (1) softwar (1) rethink (1)
Person: Eric Walkingshaw
DBLP: Walkingshaw:Eric
Contributed to:
2014
20142012
2012
2011
2011
2016
2018
2018Wrote 9 papers:
- GPCE-2014-WalkingshawO #editing #projectional
- Projectional editing of variational software (EW, KO), pp. 29–38.
- Onward-2014-WalkingshawKEAB #data type #trade-off #variability
- Variational Data Structures: Exploring Tradeoffs in Computing with Variability (EW, CK, ME, SA, EB), pp. 213–226.
- GPCE-2012-WalkingshawE #calculus #implementation #modelling
- A calculus for modeling and implementing variation (EW, ME), pp. 132–140.
- ICFP-2012-ChenEW #type system #λ-calculus
- An error-tolerant type system for variational λ calculus (SC, ME, EW), pp. 29–40.
- GTTSE-2011-ErwigW #calculus #programming
- Variation Programming with the Choice Calculus (ME, EW), pp. 55–100.
- SLE-2011-ErwigW #design #exclamation #process #semantics
- Semantics First! — Rethinking the Language Design Process (ME, EW), pp. 243–262.
- ECOOP-2016-ChenEW #calculus #programming
- A Calculus for Variational Programming (SC, ME, EW), p. 28.
- POPL-2018-Campora0EW #migration
- Migrating gradual types (JPCI, SC0, ME, EW), p. 29.
- PPDP-2018-AdelsbergerSW #consistency #declarative #user interface
- Declarative GUIs: Simple, Consistent, and Verified (SA, AS, EW), p. 15.