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: , , , ,

Posted By Aasemoon @ 7:51 pm | Send Me Your Opinion |

Friday, March 08, 2013
History of Functional Programming Languages

Last week, as mentioned before, I attended a lecture titled "History of Functional global_176059582[1] Programming Languages", which was organized by the "Zurich F# Users" group. For the few folks who were asking me about it, here you can find the PDF version of the lecture slides. It was a pretty cool lecture, so enjoy! ;)

Labels: , , , , , ,

Posted By Aasemoon @ 4:35 pm | Send Me Your Opinion |

 

Aasemoon, 1998-2014