ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Richard A. Eisenberg

Registered user since Wed 20 Jan 2016

Name:Richard A. Eisenberg
Bio:

Software Engineer at Jane Street. 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. My current work at Jane Street centers around further development of the OCaml language and compiler.

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

Contributions

Haskell 2022 Session Chair of Keynote I (part of Haskell 2022)
Eiger: Auditable, executable, flexible legal regulations
ML 2022 Unboxed types for OCaml
ICFP 2022 Linearly Qualified Types: Generic inference for capabilities and uniqueness
Show activities from other conferences

ICFP 2022-profile
View general profile