Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Weight-biased leftist heaps verified in Haskell using dependent types (jstolarek.com)
2 points by lelf on Jan 13, 2015 | past
Towards understanding Haskell’s monomorphism restriction (2012) (jstolarek.com)
1 point by rhambasan on Nov 13, 2014 | past
Haskell performance: A case study (jstolarek.com)
1 point by snupples on Jan 4, 2014 | past
The Lambda Papers (jstolarek.com)
3 points by vimes656 on April 25, 2013 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: