Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
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
Research interests:Programming Languages, Dependent Types

Contributions

PLMW 2017 Panel Discussion: Careers in Programming Languages
HIW 2017 Session Chair of State of GHC (part of HIW 2017)
Chair in Program Committee within the HIW 2017-track
ICFP 2017 Constrained Type Families
A Specification for Dependent Types in Haskell
Committee Member in Selection Committee within the Student Research Competition-track
Show activities from other conferences

ICFP 2017-profile
View general profile