Programming as interaction: A new perspective for programming language research - Tomas Petricek http://tomasp.net/blog/2018/programming-interaction/