• Sign in
  • Sign up
conf.researchr.org / Pascal Wittmann
  • SPLASH 2014 profile
  • SPLASH 2015 profile

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

Share
xThu 9 Feb 03:52
using conf.researchr.org (v1.58.0)
Support page
Sign Up