ICFP 2021
Sun 22 - Sat 28 August 2021
Richard A. Eisenberg

Registered user since Wed 20 Jan 2016

Name:Richard A. Eisenberg
Bio:

Principal Researcher at Tweag. I believe that clever application of theory can eliminate a great deal of programmer errors – specifically, I think fancy types and functional programming are the future. 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 core contributor to the Glasgow Haskell Compiler (GHC) and Chair of the Board of Directors at the Haskell Foundation.

Country:United States
Affiliation:Tweag
Personal website:https://richarde.dev/
Research interests:Programming Languages, Dependent Types

Contributions

ICFP 2021 An Existential Crisis Resolved: Type Inference for First-Class Existential Types
Haskell 2021 Seeking Stability by being Lazy and Shallow: Lazy and shallow instantiation is user friendly
ML 2021 Committee Member in Program Committee within the ML 2021-track
HIW 2021 Adventures in GHC compile times
Generalization is hard, but somebody's got to do it
Show activities from other conferences

ICFP 2021-profile
View general profile