Monday, July 29, 2013
HaskellerZ: How polymorphic types give rise to free theorems

Last week I attended a talk titled "How polymorphic types give rise to free theorems",global_87604912[1] which was basically an introduction to what's explained and elaborated in these two papers:
- Theorems for free!
- Free Theorems in the Presence of seq

As much as this has nothing to do with anything I do, I still find the topic quite interesting, and do recommend the papers to anyone with an interest in Haskell, coding in general or math. =)

Labels: , , , ,


Ahoo "Aasemoon" Pirsoleimani, 1998-2014