Home
• Education Page
• Topics
• Schedule
• Projects

• Interesting Links

Center
Master Program

Student Projects

Students, please fill the project pages with content and add your
names to your projects.

   * AssociatedTypes
   * CoAndContravariance of type constructors
   * TrackingKinds in type signatures

There's also a page for discussing EhcParticularities.

---+++ Abandoned projects ;-)

   * <del>[[SoftwareTransactionalMemory]]</del>

---+++ Projects that are currently not assigned

   * Functional Dependencies

-- Main.StefanHoldermans - 12 Sep 2007