Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
