
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
POPL 2021 | A Graded Dependent Type System with a Usage-Aware Semantics | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile