conf.researchr.org / Pascal Wittmann

Registered user since Thu 18 Sep 2014

Name: Pascal Wittmann

Affiliation: red6 Enterprise Software

Contributions

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