... | @@ -114,3 +114,4 @@ If you want to come, please add your name to the list below. Add a sentence or |
... | @@ -114,3 +114,4 @@ If you want to come, please add your name to the list below. Add a sentence or |
|
- Edsko de Vries, interested in type systems (I work on uniqueness typing, a substructural type system), and generic programming
|
|
- Edsko de Vries, interested in type systems (I work on uniqueness typing, a substructural type system), and generic programming
|
|
- [ Chung-chieh Shan](http://www.cs.rutgers.edu/~ccshan/), interested in type systems
|
|
- [ Chung-chieh Shan](http://www.cs.rutgers.edu/~ccshan/), interested in type systems
|
|
- Mathieu Boespflug Interested in implementing John Meacham's [ class alias proposal](http://repetae.net/john/recent/out/classalias.html).
|
|
- Mathieu Boespflug Interested in implementing John Meacham's [ class alias proposal](http://repetae.net/john/recent/out/classalias.html).
|
|
|
|
- Andy Adams-Moran, interested in making cross-compiling with GHC easier, and in learning more about the innards of the compiler (versus the RTS) |