P personal.cis.strath.ac.uk Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013) 94 points fanf2 1 year ago 13 comments
