Tag. haskell haskell References (1) A Specification for Dependent Types in Haskell weirich_etal_2017ICFP · 2017 PDF · DOI · pldb