Dependent Types in Haskell: Theory and Practice (2016)[pdf]arxiv.org4 points·sendilkumarn··0 commentsOpen articleSaveView on HN