SPLASH 2015 (series) / Pascal Wittmann
Registered user since Thu 18 Sep 2014
Name:Pascal Wittmann
Affiliation:TU Darmstadt
Contributions
| Onward! 2015 | Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2015-profile
View general profile
View general profile