Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Stephanie Weirich, Antoine Voizard, Pedro Henrique Avezedo de Amorim, Richard A. Eisenberg. A specification for dependent types in Haskell. Proceedings of the ACM on Programming Languages, 1(ICFP), 2017. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Dependently typed programming with singletonsRichard A. Eisenberg, Stephanie Weirich. haskell 2012: 117-130 [doi] Injective type families for HaskellJan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg. haskell 2015: 118-128 [doi] Promoting functions to type families in HaskellRichard A. Eisenberg, Jan Stolarek. haskell 2014: 95-106 [doi] Eta-Equivalence in Core Dependent HaskellAnastasiya Kravchuk-Kirilyuk, Antoine Voizard, Stephanie Weirich. TYPES 2020: [doi] Experience report: type-checking polymorphic units for astrophysics research in HaskellTakayuki Muranushi, Richard A. Eisenberg. haskell 2014: 31-38 [doi] RepLib: a library for derivable type classesStephanie Weirich. haskell 2006: 1-12 [doi]
The following publications are possibly variants of this publication: