
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
ICFP 2016 Activities
- Author of A Dependent Haskell Triptych within the HIW-track in HIW 2016
- Session Chair of Strictness and STM (part of Haskell 2016)
- Author of Pattern Synonyms within the Haskell-track in Haskell 2016
- Committee Member in Program Committee for TyDe 2016
- Committee Member in Program Committee for Haskell 2016
- Show activities from other conferences
ICFP 2016-profile
View general profile
View general profile