5 ms·
Not really a place for discussion, but https://okmij.org/ftp https://okmij.org/ftp is hands down the best place on the internet if you're into PLT.
by JHonaker 4y ago
Not really a place for discussion, but https://okmij.org/ftp https://okmij.org/ftp is hands down the best place on the internet if you're into PLT.
- eru 4y agoAt some point we were joking at ICFP that we might as well rename it into Oleg fan club. (I think that year he had contributed either directly or indirectly to a particularly large number of papers.)
- nextos 4y agoSure, Oleg Kiselyov, the owner of that site, is a very frequent poster at Lambda the Ultimate and entries on his site are frequently discussed there.
- earleybird 4y agoOleg's tarpit is awesome. Some of my best value in learning has come from going down rabbit holes there.