Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Richard A. Eisenberg

Registered user since Wed 20 Jan 2016

Name: Richard A. Eisenberg

Bio: Principal Researcher at Tweag I/O. 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).

Country: United States

Affiliation: Tweag I/O

Personal website: https://richarde.dev/

Research interests: Programming Languages, Dependent Types

Contributions

Haskell 2020Author of Composing Effects into Tasks and Workflows within the Haskell 2020-track
Author of Stitch: The Sound Type-Indexed Type Checker (Functional Pearl) within the Haskell 2020-track
ICFP 2020Committee Member in Program Committee within the ICFP Program-track
Session Chair of New York 5 (part of ICFP Program)
Session Chair of Asia 5 (part of ICFP Program)
Author of Kinds are Calling Conventions within the ICFP Program-track
Show activities from other conferences

ICFP 2020-profile
View general profile