![Richard A. Eisenberg](https://icfp16.sigplan.org/getProfileImage/richardeisenberg/2d03068d-412f-453b-ac98-b41b80ec03ca/small.jpg?1711738936000)
Registered user since Wed 20 Jan 2016
Name:Richard A. Eisenberg
Bio:
Assistant Professor at Bryn Mawr College. 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 regular contributor to the Glasgow Haskell Compiler (GHC).
Country:United States
Affiliation:Bryn Mawr College
Personal website: http://cs.brynmawr.edu/~rae
Research interests:Programming Languages, Dependent Types
Contributions
ICFP 2016-profile
View general profile
View general profile