PLoP 2015
Fri 23 - Mon 26 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
Sylvia Grewe

Registered user since Mon 17 Aug 2015

Name: Sylvia Grewe

Country: Germany

Affiliation: TU Darmstadt

Personal website:

Research interests: type systems and type theory, formal verification of type systems, proof assistants (Isabelle/HOL and Coq) and automated theorem provers, functional programming languages


Onward! 2015Author of Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers within the Onward! Papers-track
Show activities from other conferences

SPLASH 2015-profile
View general profile