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.

View all Haskell courses

Interested in more content like this? Subscribe to the 47 Degrees YouTube channel to be notified when new videos are added.

Ensure the success of your project

47 Degrees can work with you to help manage the risks of technology evolution, develop a team of top-tier engaged developers, improve productivity, lower maintenance cost, increase hardware utilization, and improve product quality; all while using the best technologies.