Stephanie Weirich - ICFP 2020

Thu 20 - Fri 28 August 2020

Registered user since Fri 9 Sep 2016

Name:Stephanie Weirich

Country:United States

Affiliation:University of Pennsylvania

Research interests:Functional Programming, Type Systems

Contributions

HIW 2020	Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale
ICFP 2020	Committee Member in Selection Committee within the Tutorials-track Award Presentations & Chair Report Session Chair of Asia 4 (part of ICFP Program) Session Chair of Awards & Reports (part of ICFP Program) Session Chair of New York 4 (part of ICFP Program) Session Chair of ICFP Programming Contest (part of ICFP Program) General Chair in Organizing Committee Conference closing Author in Steering Committee Information Desk Committee Member in Virtualization Committee
Show activities from other conferences