New top story on Hacker News: Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)

Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)
11 by fanf2 | 1 comments on Hacker News.