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: "Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings"
  editor:
  - name: "Peter Thiemann"
    link: "https://researchr.org/alias/peter-thiemann"
  volume: "9632"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-662-49497-4"
  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: "The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014"
  editor:
  - name: "Suresh Jagannathan"
    link: "https://researchr.org/alias/suresh-jagannathan"
  - name: "Peter Sewell"
    link: "https://researchr.org/alias/peter-sewell"
  publisher: "ACM"
  isbn: "978-1-4503-2544-8"
  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: "Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013"
  editor:
  - name: "Antony L. Hosking"
    link: "https://researchr.org/alias/antony-l.-hosking"
  - name: "Patrick Th. Eugster"
    link: "https://researchr.org/alias/patrick-th.-eugster"
  - name: "Cristina V. Lopes"
    link: "https://researchr.org/alias/cristina-v.-lopes"
  publisher: "ACM"
  isbn: "978-1-4503-2374-1"
  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: "ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013"
  editor:
  - name: "Greg Morrisett"
    link: "https://researchr.org/alias/greg-morrisett"
  - name: "Tarmo Uustalu"
    link: "https://researchr.org/alias/tarmo-uustalu"
  publisher: "ACM"
  isbn: "978-1-4503-2326-0"
  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: "Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014"
  editor:
  - name: "Johan Jeuring"
    link: "https://researchr.org/alias/johan-jeuring"
  - name: "Manuel M. T. Chakravarty"
    link: "https://researchr.org/alias/manuel-m.-t.-chakravarty"
  publisher: "ACM"
  isbn: "978-1-4503-2873-9"
  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: "Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015"
  editor:
  - name: "Ben Lippmeier"
    link: "https://researchr.org/alias/ben-lippmeier"
  publisher: "ACM"
  isbn: "978-1-4503-3808-0"
  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: "Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014"
  editor:
  - name: "Wouter Swierstra"
    link: "https://researchr.org/alias/wouter-swierstra"
  publisher: "ACM"
  isbn: "978-1-4503-3041-1"
  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: "Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014"
  editor:
  - name: "Wouter Swierstra"
    link: "https://researchr.org/alias/wouter-swierstra"
  publisher: "ACM"
  isbn: "978-1-4503-3041-1"
  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: "Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012"
  editor:
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  publisher: "ACM"
  isbn: "978-1-4503-1574-6"
  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: "A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday"
  editor:
  - name: "Sam Lindley"
    link: "https://researchr.org/alias/sam-lindley"
  - name: "Conor McBride"
    link: "https://researchr.org/alias/conor-mcbride"
  - name: "Philip W. Trinder"
    link: "https://researchr.org/alias/philip-w.-trinder"
  - name: "Donald Sannella"
    link: "https://researchr.org/alias/donald-sannella"
  volume: "9600"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-30935-4"
  kind: "inproceedings"
  key: "JonesWEV16"