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

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

ICFP 2021-profile
View general profile