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

Видео Strongly Typed System F in GHC • Stephanie Weirich • YOW! 2020 канала GOTO Conferences