Strongly Typed System F in GHC

Explore the intricacies of creating a strongly typed abstract syntax for polymorphic languages in Haskell through this 47-minute conference talk from YOW! 2020. Delve into variable binding representations and investigate the boundaries of dependently typed programming in GHC. Learn from Stephanie Weirich, a Professor of Computer Science at the University of Pennsylvania, as she guides you through the challenges and solutions of implementing System F in a strongly typed manner. Gain insights into functional programming concepts, type systems, and advanced Haskell techniques that can enhance your understanding of language design and implementation.