SPLASH 2015 (series) / Sylvia Grewe
Registered user since Mon 17 Aug 2015
Name:Sylvia Grewe
Country:Germany
Affiliation:TU Darmstadt
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
Contributions
| Onward! 2015 | Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2015-profile
View general profile
View general profile