Strongly Typed System F in GHC • Stephanie Weirich • YOW! 2020

This presentation was recorded at YOW! 2020. #GOTOcon #YOW https://yowcon.com Stephanie Weirich - Professor of Computer Science at University of Pennsylvania @StephanieWeirich RESOURCES https://www.linkedin.com/in/sweirich https://twitter.com/fancytypes https://www.seas.upenn.edu/~sweirich ABSTRACT There are many examples that demonstrate how to create a #StronglyTyped 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 #DependentlyTyped programming in #GHC. [...] RECOMMENDED BOOKS Vitaly Bragilevsky • Haskell in Depth • https://amzn.to/3EXpmbe Rebecca Skinner • Effective Haskell • https://amzn.to/3VgUKsh Graham Hutton • Programming in Haskell • https://amzn.to/3Fi8rBC John Whitington • Haskell from the Very Beginning • https://amzn.to/3VmX68R Michael Pilquist, Paul Chiusano & Rúnar Bjarnasson • Functional Programming in Scala • https://amzn.to/3Ql7X38 https://twitter.com/GOTOcon https://www.linkedin.com/company/goto- https://www.instagram.com/goto_con https://www.facebook.com/GOTOConferences #FunctionalProgramming #StephanieWeirich #SoftwareEngineering #Programming #FunctionalReactiveProgramming #YOWcon Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech Sign up for updates and specials at https://gotopia.tech/newsletter SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConferences/?sub_confirmation=1