Richard A. Eisenberg

Registered user since Wed 20 Jan 2016

Name: Richard A. Eisenberg

Bio: Assistant Professor at Bryn Mawr College. I completed my PhD in 2016 at University of Pennsylvania working under Stephanie Weirich; my dissertation topic was the integration of dependent types into the Haskell programming language. I am a regular contributor to the Glasgow Haskell Compiler (GHC).

Country: United States

Affiliation: Bryn Mawr College

Personal website:

Research interests: Programming Languages, Dependent Types


HIW 2018Author of Coercion Quantification within the HIW 2018-track
Haskell 2018Author of Type Variables in Patterns within the Haskell 2018-track
Author of The Thoralf Plugin: For Your Fancy Type Needs within the Haskell 2018-track
TyDe 2018Co-chair in Program Committee within the TyDe 2018-track
Committee Member in Organizing Committee within the TyDe 2018-track
Co-chair of Welcome! within the TyDe 2018-track
Off the Beaten Track 2018Author of Explaining Type Errors within the Off the Beaten Track 2018-track
ICFP 2018Committee Member in External Review Committee within the Research Papers-track
TyDe Co-chair in Organizing Committee
HIW 2017Session Chair of State of GHC (part of HIW 2017)
Chair in Program Committee within the HIW 2017-track
PLMW 2017Author of Panel Discussion: Careers in Programming Languages within the PLMW 2017-track
ICFP 2017Author of Constrained Type Families within the Research Papers-track
Author of A Specification for Dependent Types in Haskell within the Research Papers-track
Committee Member in Selection Committee within the Student Research Competition-track
Haskell 2016Session Chair of Strictness and STM (part of Haskell)
Author of Pattern Synonyms within the Haskell-track
Committee Member in Program Committee within the Haskell-track
HIW 2016Author of A Dependent Haskell Triptych within the HIW-track
TyDe 2016Committee Member in Program Committee within the TyDe-track
PLDI 2017Author of Levity Polymorphism within the PLDI Research Papers-track
SPLASH 2013Author of Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track