Is deep learning a new kind of programming? Operationalistic look at programming
Wednesday, 7 October 2020
Creating interactive You Draw bar chart with Compost
Thursday, 16 July 2020
Data exploration calculus: Capturing the essence of exploratory data scripting
Tuesday, 21 April 2020
On architecture, urban planning and software construction
Tuesday, 7 April 2020
What to teach as the first programming language and why
Monday, 2 December 2019
What should a Software Engineering course look like?
Friday, 8 February 2019
Write your own Excel in 100 lines of F#
Monday, 12 November 2018
Programming as interaction: A new perspective for programming language research
Monday, 8 October 2018
Would aliens understand lambda calculus?
Tuesday, 22 May 2018
The design side of programming language design
Tuesday, 12 September 2017
Getting started with The Gamma just got easier
Wednesday, 14 June 2017
Papers we Scrutinize: How to critically read papers
Wednesday, 12 April 2017
The mythology of programming language ideas
Tuesday, 7 March 2017
The Gamma dataviz package now available!
Wednesday, 25 January 2017
I work on functional programming, data science and philosophy of computing. This list includes one or two top papers for each category. My publications page gives a complete list.
Foundations of a live data exploration environment
The Art, Science, and Engineering of Programming, 2020
What we talk about when we talk about monads
The Art, Science, and Engineering of Programming, 2018
Data exploration through dot-driven development
In proceedings of ECOOP 2017.
Miscomputation in software: Learning to live with errors
The Art, Science, and Engineering of Programming, 2017
Types from data: Making structured data first-class citizens in F# In Proceedings of PLDI 2016
Coeffects: A calculus of context-dependent computation
In Proceedings of ICFP 2014
Various academic texts that have not been published yet. If you have any feedback on these, please let me know!
The Gamma: Data Exploration through Iterative Prompting
Friday, 29 May 2020