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