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
Downloads
Hage
Below you find collected some of the downloads (mainly of programs) freely available,
or links to places on my homepage that provide them.
- Helium source and (some) binary downloads. Click to continue
- Neon library with a small example collection of loggings to mine. Download
- JastAdd with our extension that provides improved generic type error messages for method invocations, including suggestions for fixing the mistakes. Download
- The polyvariant implementation for the paper on Security Type Error Diagnosis Download