The publications below are grouped into the following research categories: Alternatively, see a chronological listing of all publications.

Computer Music


Functional Reactive Programming


Compilation


Nettle and Networks


Robotics


Principles of Programming Languages


Parallel Programming


Haskell and Functional Programming


Miscellaneous