publications:
- title: "Visible Type Application"
  author:
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  - name: "Hamidhasan G. Ahmed"
    link: "https://researchr.org/alias/hamidhasan-g.-ahmed"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-662-49498-1_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-49498-1_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/esop/EisenbergWA16"
  researchr: "https://researchr.org/publication/EisenbergWA16"
  cites: 0
  citedby: 0
  pages: "229-254"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "EisenbergWA16"
- title: "Closed type families with overlapping equations"
  author:
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2535838.2535856"
  links:
    doi: "http://doi.acm.org/10.1145/2535838.2535856"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/EisenbergVJW14"
  researchr: "https://researchr.org/publication/EisenbergVJW14"
  cites: 0
  citedby: 0
  pages: "671-684"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "EisenbergVJW14"
- title: "Ironclad C++: a library-augmented type-safe subset of c++"
  author:
  - name: "Christian DeLozier"
    link: "https://researchr.org/alias/christian-delozier"
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  - name: "Santosh Nagarakatte"
    link: "https://researchr.org/alias/santosh-nagarakatte"
  - name: "Peter-Michael Osera"
    link: "https://researchr.org/alias/peter-michael-osera"
  - name: "Milo M. K. Martin"
    link: "https://researchr.org/alias/milo-m.-k.-martin"
  - name: "Steve Zdancewic"
    link: "https://researchr.org/alias/steve-zdancewic"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2509136.2509550"
  links:
    doi: "http://doi.acm.org/10.1145/2509136.2509550"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/DeLozierENOMZ13"
  researchr: "https://researchr.org/publication/DeLozierENOMZ13"
  cites: 0
  citedby: 0
  pages: "287-304"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "DeLozierENOMZ13"
- title: "System FC with explicit kind equality"
  author:
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  - name: "Justin Hsu"
    link: "https://researchr.org/alias/justin-hsu"
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  year: "2013"
  doi: "http://doi.acm.org/10.1145/2500365.2500599"
  links:
    doi: "http://doi.acm.org/10.1145/2500365.2500599"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/WeirichHE13"
  researchr: "https://researchr.org/publication/WeirichHE13"
  cites: 0
  citedby: 0
  pages: "275-286"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "WeirichHE13"
- title: "Safe zero-cost coercions for Haskell"
  author:
  - name: "Joachim Breitner"
    link: "https://researchr.org/alias/joachim-breitner"
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2628136.2628141"
  links:
    doi: "http://doi.acm.org/10.1145/2628136.2628141"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/BreitnerEJW14"
  researchr: "https://researchr.org/publication/BreitnerEJW14"
  cites: 0
  citedby: 0
  pages: "189-202"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "BreitnerEJW14"
- title: "Injective type families for Haskell"
  author:
  - name: "Jan Stolarek"
    link: "https://researchr.org/alias/jan-stolarek"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2804302.2804314"
  links:
    doi: "http://doi.acm.org/10.1145/2804302.2804314"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/StolarekJE15"
  researchr: "https://researchr.org/publication/StolarekJE15"
  cites: 0
  citedby: 0
  pages: "118-128"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "StolarekJE15"
- title: "Experience report: type-checking polymorphic units for astrophysics research in Haskell"
  author:
  - name: "Takayuki Muranushi"
    link: "https://researchr.org/alias/takayuki-muranushi"
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2633357.2633362"
  links:
    doi: "http://doi.acm.org/10.1145/2633357.2633362"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/MuranushiE14"
  researchr: "https://researchr.org/publication/MuranushiE14"
  cites: 0
  citedby: 0
  pages: "31-38"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "MuranushiE14"
- title: "Promoting functions to type families in Haskell"
  author:
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  - name: "Jan Stolarek"
    link: "https://researchr.org/alias/jan-stolarek"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2633357.2633361"
  links:
    doi: "http://doi.acm.org/10.1145/2633357.2633361"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/EisenbergS14"
  researchr: "https://researchr.org/publication/EisenbergS14"
  cites: 0
  citedby: 0
  pages: "95-106"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "EisenbergS14"
- title: "Dependently typed programming with singletons"
  author:
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2364506.2364522"
  links:
    doi: "http://doi.acm.org/10.1145/2364506.2364522"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/EisenbergW12"
  researchr: "https://researchr.org/publication/EisenbergW12"
  cites: 0
  citedby: 0
  pages: "117-130"
  booktitle: "haskell"
  kind: "inproceedings"
  key: "EisenbergW12"
- title: "A Reflection on Types"
  author:
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  - name: "Stephanie Weirich"
    link: "http://www.cis.upenn.edu/~sweirich/"
  - name: "Richard A. Eisenberg"
    link: "http://cs.brynmawr.edu/~rae"
  - name: "Dimitrios Vytiniotis"
    link: "https://researchr.org/alias/dimitrios-vytiniotis"
  year: "2016"
  doi: "http://dx.doi.org/10.1007/978-3-319-30936-1_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-30936-1_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/JonesWEV16"
  researchr: "https://researchr.org/publication/JonesWEV16"
  cites: 0
  citedby: 0
  pages: "292-317"
  booktitle: "BIRTHDAY"
  kind: "inproceedings"
  key: "JonesWEV16"