Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
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: http://cs.brynmawr.edu/~rae

Research interests: Programming Languages, Dependent Types

Contributions

Haskell 2016Session Chair of Strictness and STM (part of Haskell)
Author of Pattern Synonyms within the Haskell-track
Committee Member in Program Committee
HIW 2016Author of A Dependent Haskell Triptych within the HIW-track
TyDe 2016Committee Member in Program Committee
Show activities from other conferences

ICFP 2016-profile
View general profile