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
2018
‹Programming›
Publicity Chair in Organizing Committee
2016
DSLDI
Committee Member in Program Committee within the DSLDI-track
SPLASH
Committee Member in Program Committee within the Posters-track
Author of VeriTaS: Verification of Type System Specifications within the Doctoral Symposium-track
2015
Onward!
Author of Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers within the Onward! Papers-track
Share
x
Mon 5 May 22:16
