Writing

What do different disciplines --- programming languages, machine learning and human-computer interaction --- bring to the synthesis problem?

Is there is a canonical way to build a programming language with modules?

What is the abstract interpretation philosophy?

How do expressiveness, usability and efficiency differ in Epigram and Idris?

How should we design and evaluate delimited continuations?