Research Interests

I am interested in programming language design and implementation in general, but I have spent most of my time on these things:

• Type systems with subtypes for functional languages. This is what my Licentiate Thesis is about.
• Graphical User Interfaces for functional languages. Magnus Carlsson and I have developed the Fudgets System, which is a GUI Toolkit for the functional programming language Haskell. We have written a joint PhD thesis about this.
• The last couple of years I have spent a lot of time on Alfa, a proof editor implemented using Fudgets. The most recent work has been to support natural language by interfacing to Aarne Ranta's Grammatical Framework, GF.