• 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

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
xMon 22 Sep 04:47
using conf.researchr.org (v1.71.1)
Support page
Sign Up