Richard A. Eisenberg

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

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, USA

Personal website:http://cs.brynmawr.edu/~rae

Research interests:Programming Languages, Dependent Types

Contributions

ICFP 2018	Committee Member in Distinguished Papers Committee within the Research Papers-track Committee Member in External Review Committee within the Research Papers-track TyDe Co-chair in Organizing Committee
Haskell 2018	Type Variables in Patterns The Thoralf Plugin: For Your Fancy Type Needs
HIW 2018	Coercion Quantification
TyDe 2018	Co-chair in Program Committee within the TyDe 2018-track Committee Member in Organizing Committee within the TyDe 2018-track Session Chair of Types (part of TyDe 2018) Welcome!
Show activities from other conferences

ICFP 2018-profile
View general profile

Tracks

Workshops

Co-hosted Symposia