Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sylvia Grewe
conf.researchr.org general profile
SPLASH 2015 profile
SPLASH 2016 profile
‹Programming› 2018 profile
Registered user since Mon 17 Aug 2015
Name:
Sylvia Grewe
Affiliation:
TU Darmstadt
Contributions
‹Programming› 2018
Publicity Chair in Organizing Committee
DSLDI 2016
Committee Member in Program Committee within the DSLDI-track
SPLASH 2016
Committee Member in Program Committee within the Posters-track
Author of VeriTaS: Verification of Type System Specifications within the Doctoral Symposium-track
Onward! 2015
Author of Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers within the Onward! Papers-track
Share
x
Mon 5 Jun 04:27