Registered user since Thu 18 Sep 2014

Name: Pascal Wittmann

Affiliation: TU Darmstadt

SPLASH 2014 Activities

• Presenter of A Language for the Specification and Efficient Implementation of Type Systems within the Student Research Competition-track in SPLASH 2014
• Show activities from other conferences