Home
Address
Schedule
Personal
Research
Publications
Supervised MSc Theses
Ph D Students
Master Students
Reports
Talks
Downloads
Projects
Helium
Holmes
Marble
Neon
Top
Open projects
Master projects
Experimentation projects
Teaching
APA | COSC Coll
EA | B3SO
SP My other websites
IFL Symposia Axiom of Choice
iO Pages
Master OAC
Center
Master Program
Stc
Experimentation Projects
Hage
There are projects (under my supervision) that can be done within the context of an Experimentation Project. Some of these
can't be more than 7,5 Ects, in some cases a project of 15,0 is a possibility.
Available projects
- Using EHC's backend as a backend for Helium
- Code generation for type classes in Helium
- Making type directives for Helium more mature
- Implementing and testing a generic plagiarism detection tool for computer programs
- Adding logging facilities to GHC
- Build a website for comparing Java compiler type error output
- Futher extending a PHP soft typing system (in Haskell)
- Type error repair systems
Completed projects
- Extending PHP Validator to deal with objects -- Marcelo Sousa
- Reimplementing PHP Validator in Haskell -- Henk Erik van der Hoek
- Reimplementing Holmes for full Haskell -- Gerben Verburg
- Implementing and testing a plagiarism detection tool for written papers -- Mathijs Swint
- Adding type classes to Helium -- Jeroen Weijers