Pascal Wittmann -

Registered user since Thu 18 Sep 2014

Name:Pascal Wittmann

Affiliation:red6 Enterprise Software

Contributions

Onward! 2015	Author of Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers within the Onward! Papers-track
SPLASH 2014	Presenter of A Language for the Specification and Efficient Implementation of Type Systems within the Student Research Competition-track