Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pascal Wittmann
conf.researchr.org general profile
SPLASH 2014 profile
SPLASH 2015 profile
Registered user since Thu 18 Sep 2014
Name:
Pascal Wittmann
Affiliation:
red6 Enterprise Software
Contributions
2015
Onward!
Author of Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers within the Onward! Papers-track
2014
SPLASH
Presenter of A Language for the Specification and Efficient Implementation of Type Systems within the Student Research Competition-track
Share
x
Mon 22 Sep 22:52