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]](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhDf4PTdFbBd-n3t5GMKosmfbWhMwWC8buRea4tsezV5VOt9g1CW7sdGRU-50EzQ3i87Muebdq_4g9eNXFogflHES1xLDCS3ixs2U98DgJrv2wcrULnapzZ7Srky2O6HFc_Lb2x/?imgmax=800 "global_87604912[1]")
- 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: Coding, Functional Programming, Haskell, Math, Programming
![[Valid Atom 0.3]](http://aasemoon.com/imagez/valid-atom.gif "Validate my Atom 0.3 feed"){kind=small}
<< Home