Everything in Context

I'm on the program committee for TFP, the Trends in Functional Programming Symposium ! TFP is an unconventional conference: papers are very lightly reviewed in order to be accepted at the symposium, then after they are presented, another phase of refereeing happens to select a subset of the articles for formal publication. The Symposium is June 8-10 at the University of Maryland, and draft paper submissions are due April 8! Quoting the scope from the official CFP , TFP is interested in the following kinds of articles: Research Articles: leading-edge, previously unpublished research work Position Articles: on what new trends should or should not be Project Articles: descriptions of recently started new projects Evaluation Articles: what lessons can be drawn from a finished project Overview Articles: summarizing work with respect to a trendy subject Topics of interest include (but are not limited to): Functional programming and multicore/manycore computing Functional p

Below are the slides for my keynote at Off the Beaten Track (OBT) 2016, co-located with POPL: Since my preference for sparse slides makes this deck difficult to follow sans soundtrack, I'd like to recap some of the ideas I presented. If you'd like to open the slides in a new tab, here they are on Speaker Deck . I titled the talk "Operationalizing Creative Theories" before I knew what the talk was going to be about, so it's not a perfect title. I initially picked the word "operationalizing" in the sense of Eger et al.'s " Operationalizing the Master Book of All Plots ," which I like very much as the verb referring to the Generative Methods idea of "taking a formal, declarative specification of what a creative domain is made up of and turning it into an algorithm for constructing instances of that domain." I talked a little bit about operationalization, but mostly I talked about interrelations between formal logic and the