... | ... | @@ -30,13 +30,16 @@ Simon and I always have a zillion projects that we'd like to see done, but do no |
|
|
Internship projects should have some research content, and ideally lead to a paper. It's not just hacking.
|
|
|
|
|
|
|
|
|
To give you some idea, here are some past projects
|
|
|
To give you some idea, here are some past projects (in no particular order):
|
|
|
|
|
|
- Kevin Donnelly changed GHC's intermediate language to support equality constraints.
|
|
|
- Roshan James wrote a parallel garbage collectof
|
|
|
- Kevin Donnelly changed GHC's intermediate language to support equality constraints
|
|
|
- Roshan James wrote a parallel garbage collector
|
|
|
- Geoff Washburn made the first implementation of GADTs in GHC
|
|
|
- Dimitrios Vitytonis worked on type inference for impredicative polymorphism
|
|
|
- Krasimir Angelov completed and released Visual Haskell.
|
|
|
- Krasimir Angelov completed and released Visual Haskell
|
|
|
- Michael Adams worked on refactoring the code generator
|
|
|
- Ben Lippmeier implemented a new register allocator
|
|
|
- Bernie Pope implemented the GHCi debugger
|
|
|
|
|
|
## Current projects
|
|
|
|
... | ... | |