UHC
-
Download & Install
-
Documentation
-
Troubleshooting
-
UHC blog
-
News
-
More ...
Center
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Team
UHC
---+++ Staff * [[Atze.WebHome][Atze Dijkstra]]: overall design, type system, bytecode interpreter. * [[http://www.cs.uu.nl/people/jeroen][Jeroen Fokker]]: whole program analysis backend. * [[http://www.cs.uu.nl/people/ariem][Arie Middelkoop]]: Ruler, type system generation, uuagc. * [[http://www.cs.uu.nl/people/doaitse][Doaitse Swierstra]]: the boss, parser combinator library (uulib). ---+++ Students * [[Students.RubenDeGooijer][Ruben de Gooijer]]: design of a GUI toolkit for the !JavaScript backend mimicking as much as possible of wxHaskell. * [[Students.JurrienStutterheim][Jurrien Stutterheim]], [[Students.AlessandroVermeulen][Alessandro Vermeulen]]: work on !JavaScript backend, library, and JCU application port to !JavaScript. * [[Students.GerbenVerburg][Gerben Verburg]]: strictness analysis. ---+++ Contributions * Cabal support: [[http://people.cs.uu.nl/andres][Andres Löh]] * Generic deriving: [[http://dreixel.net/index.php?content=research][José Pedro Magalhães]] * Library support: [[Main.CalinJuravle][Calin Juravle]] * Java backend support: [[Main.LevinFritz][Levin Fritz]] * Logo: [[http://wwwmath.uni-muenster.de/u/strohm/][Clara Löh]] ---+++ Cooperation * [[http://homepages.dcc.ufmg.br/~lucilia/][Lucília Camarão de Figueiredo]]: formal properties of the type system. * [[http://homepages.dcc.ufmg.br/~camarao/][Carlos Camarão de Figueiredo]]: reformulation of the Haskell class system. * [[http://www.cs.ox.ac.uk/people/tom.harper/][Tom Harper]]: fusion. ---+++ Previously * [[Students.TomLokhorst][Tom Lokhorst]]: integration of various analysis made by Stefan Holdermans, starting with frontend annotation mechanisms (master thesis project). * [[Students.JeroenLeeuwestein][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. * [[http://www.fing.edu.uy/~pardo/][Alberto Pardo & students]], integration of fusion rules. * Juan Francisco Francisco Cardona McCormick: Strictness analysis. * Henrique Ferreiro: Usage analysis for efficient garbage collection. * and even [[Ehc.WebHome#CooperationAndProjects][more previously...]]
