Stephanie Weirich
ENIAC President's Distinguished Professor of Computer and Information Science
University of Pennsylvania
location_on United States
Member since 8 months
Share
Stephanie Weirich
Specialises In (based on submitted proposals)
Stephanie is the ENIAC President's Distinguished Professor of Computer and Information Science at the University of Pennsylvania. Her research interests include statically-typed functional programming, dependent types, interactive theorem proving and programming language theory. She is the General Chair of ICFP 2020 and hopes to see you (virtually) in August.
-
keyboard_arrow_down
Strongly Typed System F in GHC
Stephanie WeirichENIAC President's Distinguished Professor of Computer and Information ScienceUniversity of Pennsylvaniaschedule 8 months ago
45 Mins
Invited Talk
Intermediate
There are many examples that demonstrate how to create a strongly typed abstract syntax in Haskell for a language with a simple type system. But there are many fewer examples that allow the embedded language to be polymorphic. I will work through what it takes to do so, touching on variable binding representations, and exploring the limits of dependently-typed programming in GHC.
-
-
No more submissions exist.