Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
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, USA

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

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
Session Chair of Types (part of TyDe 2018)
Co-chair of Welcome! within the TyDe 2018-track
ICFP 2018Committee 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
Show activities from other conferences

ICFP 2018-profile
View general profile