@SAP Potsdam, Germany Programmer, Software Architect, and Computer Scientist.
Tillmann Rendel
Interpreter for functional pure type systems.
Toxaris