Research & Development
I have spent most of my time on these things:
||I worked on the GF
grammar compiler and developed some
web applications based on
||I applied functional programming outside the academic world by
developing an e-commerce system in Haskell.
||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.
||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.
||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.
||Type systems with subtypes for functional languages. This is what my
Licentiate Thesis is about.
A list of publications is available.