Sandra Dylus - ICFP 2019

Sun 18 - Fri 23 August 2019 Berlin, Germany

Registered user since Tue 11 Oct 2016

Name:Sandra Dylus

Bio:

PhD student in PL

Country:Germany

Affiliation:University of Kiel, Germany

Research interests:Programming Languages, Functional Programming

Contributions

Haskell 2019	Verifying Effectful Haskell Programs in Coq
ICFP 2019	Student Volunteer Co-Chair in Organizing Committee Student Volunteer Co-Chair in Committee within the Student Volunteering-track
Show activities from other conferences