SPLASH 2014 (series) / Pascal Wittmann
Registered user since Thu 18 Sep 2014
Name:Pascal Wittmann
Affiliation:TU Darmstadt
Contributions
SPLASH 2014 | A Language for the Specification and Efficient Implementation of Type Systems | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2014-profile
View general profile
View general profile