Skip to main content


Showing posts from February, 2016

Call for Papers: Trends in Functional Programming 2016

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 workPosition Articles: on what new trends should or should not beProject Articles: descriptions of recently started new projectsEvaluation Articles: what lessons can be drawn from a finished projectOverview Articles: summarizing work with respect to a trendy subject Topics of interest include (but are not limited to):
Functional programming and multicore/manycore computingFunctional programming in the cloud…

OBT 2016: Operationalizing Creative Theories

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 concepts of …