My publications are listed below in reverse chronological order.

Drafts
Peer-Reviewed Publications
  1. Safe Zero-cost Coercions for Haskell. Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, and Stephanie Weirich. In the Journal of Function Programming, vol. 26. Cambridge University Press, 2016. (pdf)

  2. Pattern Synonyms. Matthew Pickering, Gergő Érdi, Simon Peyton Jones, Richard A. Eisenberg. Haskell Symposium 2016, Nara, Japan. (pdf extended pdf)

  3. A Reflection on Types. Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis. Wadlerfest 2016, Edinburgh, UK. (pdf)

  4. Visible Type Application. Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan Ahmed. ESOP 2016, Eindhoven, The Netherlands. (pdf extended pdf)

  5. Injective Type Families for Haskell. Jan Stolarek, Simon Petyon Jones, and Richard A. Eisenberg. Haskell Symposium 2015, Vancouver, BC, Canada. (pdf)

    Injective Type Families for Haskell (extended version). Jan Stolarek, Simon Peyton Jones, and Richard A. Eisenberg. Politechnika Łódzka Technical Report, 2015. (pdf)

  6. Promoting Functions to Type Families in Haskell. Richard A. Eisenberg and Jan Stolarek. Haskell Symposium 2014, Gothenburg, Sweden. (pdf extended pdf)

  7. Experience Report: Type-checking Polymorphic Units for Astrophysics Research in Haskell. Takayuki Muranushi and Richard A. Eisenberg. Haskell Symposium 2014, Gothenburg, Sweden. (pdf)

  8. Safe Zero-cost Coercions for Haskell. Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, and Stephanie Weirich. ICFP 2014, Gothenburg, Sweden. (pdf)

    Safe Zero-cost Coercions for Haskell (Extended Version). Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, and Stephanie Weirich. Univ. of Pennsylvania Technical Report MS-CIS-14-07. 2014. (pdf)

  9. Closed Type Families with Overlapping Equations. Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones, and Stephanie Weirich. POPL 2014, San Diego, CA, USA. (pdf)

    Closed Type Families with Overlapping Equations (Extended version). Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones, and Stephanie Weirich. Univ. of Pennsylvania Technical Report MS-CIS-13-10. 2013. (pdf)

  10. Ironclad C++: A library-augmented type-safe subset of C++. Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, and Steve Zdancewic. OOPSLA 2013, Indianapolis, IN, USA. (pdf technical report pdf)
  11. System FC with Explicit Kind Equality. Stephanie Weirich, Justin Hsu, and Richard A. Eisenberg. ICFP 2013, Boston, MA, USA. (pdf extended pdf)
  12. Dependently Typed Programming with Singletons. Richard A. Eisenberg and Stephanie Weirich. Haskell Symposium 2012, Copenhagen, Denmark. (pdf)
Conference presentations
Research-related open-source contributions
Other works