A Quick Look at Impredicativity
Alejandro Serrano talks about impredicative polymorphism in Haskell.
This presentation was delivered on August 25th, 2020 at the virtual International Conference on Functional Programming conference, where the paper on which this talk is based was awarded the “Distinguished Paper” accolade.
If you found this talk interesting, consider joining us for a 47 Degrees Academy course. We have a variety of topics on Haskell and other Functional Programming languages.
Interested in more content like this? Subscribe to the 47 Degrees YouTube channel to be notified when new videos are added.