I am interested in programming language design and implementation
in general, but I have spent most of my time on these things:
A list of publications is available.
||Type systems with subtypes for functional languages. This is what my
Licentiate Thesis is about.
||Graphical User Interfaces for functional languages.
and I developed
a GUI Toolkit
for the functional programming language
Haskell. We wrote a
joint PhD thesis about this.
||I spent a lot of time on
Alfa, a proof editor implemented
using Fudgets. The most recent work was to support natural
language by interfacing to Aarne Ranta's
Grammatical Framework, GF.
||I worked on the Programatica
project on tools to support high-assurance programming in Haskell.
I also worked on
House, an operating
system implemented in Haskell.