https://eric.walkingshaw.net/index.html 1.0 https://eric.walkingshaw.net/legal.html 0.1 https://eric.walkingshaw.net/projects/choice-calculus.html 0.5 https://eric.walkingshaw.net/projects/explanation-oriented-programming.html 0.5 https://eric.walkingshaw.net/projects/hagl.html 0.5 https://eric.walkingshaw.net/projects/semantics-first.html 0.5 https://eric.walkingshaw.net/projects/variation-control-systems.html 0.5 https://eric.walkingshaw.net/projects/variational-programming.html 0.5 https://eric.walkingshaw.net/projects/variational-typing.html 0.5 https://eric.walkingshaw.net/projects/verified-guis.html 0.5 https://eric.walkingshaw.net/publications.html 1.0 https://eric.walkingshaw.net/research.html 0.5 https://eric.walkingshaw.net/software.html 0.5 https://eric.walkingshaw.net/files/Walkingshaw-CV.pdf 0.5 https://eric.walkingshaw.net/files/Walkingshaw-Resume.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2008/vlhcc08-explaining-strategies.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2009/dsl09-explaining-probability.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2009/dsl09-hagl-expressiveness.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2009/idetc09-software-hardware-design.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2009/jfp09-hagl.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2009/vlhcc09-visual-explanations-probability.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2010/foser10-program-fields.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2010/vlhcc10-neuron-diagrams.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2011/dsl11-causation-dsl.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2011/msthesis-game-theory-dsls.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2011/sle11-semantics-first.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2011/tosem11-choice-calculus.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2011/vlhcc11-ifdef-confirmed-harmful.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2012/gpce12-compositional-cc.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2012/icfp12-variational-type-errors.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2012/semantics-driven-dsl-design.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2013/dissertation-choice-calculus.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2013/fosd13-variational-graphs.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2013/gttse11-variation-programming.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2013/jvlc13-probula.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2013/vamos13-cc-select.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2014/gpce14-projectional-editing.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2014/onward14-variational-data.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2014/toplas14-variational-typing.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2015/vlhcc15-programs-for-people.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2016/ecoop16-variational-programming-calculus.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2016/fosd16-formula-choice-calculus.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2016/icsme16-variation-control-system.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2017/dbpl17-variational-databases.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2017/mutation17-how-good-are-your-types.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2017/vamos17-variational-stacks.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2018/icfp18-casts-and-costs.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2018/poly18-heterogeneous-dbs-spls.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2018/popl18-migrating-gradual-types.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2018/ppdp18-declarative-guis.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2018/setta18-verified-guis.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2018/sigcse18-algorithm-explanations.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2019/varivolution19-variation-in-time-and-space.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2020/splc20-variational-sat.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2021/gpce21-vdbms.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2021/vamos21-variation-in-databases.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2022/jfp22-migrating-gradual-types.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2023/emse23-variational-sat.pdf 0.5 https://eric.walkingshaw.net/files/pubs/2024/oopsla24-expressive-power-variability.pdf 0.5 https://eric.walkingshaw.net/files/pubs/students/abbott-17-ms-thesis.pdf 0.5 https://eric.walkingshaw.net/files/pubs/students/alkubaish-20-ms-thesis.pdf 0.5 https://eric.walkingshaw.net/files/pubs/students/ataei-17-ms-thesis.pdf 0.5 https://eric.walkingshaw.net/files/pubs/students/ataei-21-phd-dissertation.pdf 0.5 https://eric.walkingshaw.net/files/pubs/students/grasley-18-ms-thesis.pdf 0.5 https://eric.walkingshaw.net/files/pubs/students/hubbard-16-ms-thesis.pdf 0.5 https://eric.walkingshaw.net/files/pubs/students/khan-21-ms-thesis.pdf 0.5 https://eric.walkingshaw.net/files/pubs/students/li-19-ms-project.pdf 0.5 https://eric.walkingshaw.net/files/pubs/students/mcgirr-18-ms-project.pdf 0.5 https://eric.walkingshaw.net/files/pubs/students/meng-17-ms-thesis.pdf 0.5 https://eric.walkingshaw.net/files/pubs/students/vandewetering-17-honors-thesis.pdf 0.5 https://eric.walkingshaw.net/files/pubs/students/wu-17-ms-project.pdf 0.5 https://eric.walkingshaw.net/files/pubs/students/young-21-phd-dissertation.pdf 0.5