Team

Staff

• Atze Dijkstra: overall design, type system, bytecode interpreter.
• Jeroen Fokker: whole program analysis backend.
• Arie Middelkoop: Ruler, type system generation, uuagc.
• Doaitse Swierstra: the boss, parser combinator library (uulib).

Students

• Ruben de Gooijer? : design of a GUI toolkit for the JavaScript backend mimicking as much as possible of wxHaskell.
• Jurrien Stutterheim? , Alessandro Vermeulen? : work on JavaScript backend, library, and JCU application port to JavaScript.
• Gerben Verburg: strictness analysis.

Contributions

• Cabal support: Andres Löh
• Generic deriving: José Pedro Magalhães
• Library support: Calin Juravle
• Java backend support: Levin Fritz
• Logo: Clara Löh

Cooperation

• Lucília Camarão de Figueiredo: formal properties of the type system.
• Carlos Camarão de Figueiredo: reformulation of the Haskell class system.
• Tom Harper: fusion.

Previously

• Tom Lokhorst: integration of various analysis made by Stefan Holdermans, starting with frontend annotation mechanisms (master thesis project).
• Jeroen Leeuwestein: incrementalization of whole program analysis (master thesis project).
• Paul van der Ende: llvm backend & precise garbage collection.
• Atze van der Ploeg: efficient closure representations.
• Alberto Pardo & students, integration of fusion rules.
• Juan Francisco Francisco Cardona McCormick? : Strictness analysis.
• Henrique Ferreiro: Usage analysis for efficient garbage collection.
• and even more previously...