Concepedia

Richard A. Eisenberg

RA

21

Publications

589

Citations

15

H-Index

2012

Active since

Affiliations

University of Pennsylvania(Current)

Microsoft Research (United Kingdom)

Bryn Mawr College

California University of Pennsylvania

Microsoft (United States)

Richard A. Eisenberg is an author at University of Pennsylvania specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisAutomated ReasoningSoftware AnalysisVerificationComputer EngineeringProgramming Languages

Publications per year

2012–2024

21

Publications

21

Closed type families with overlapping equations

Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones et al. · 2014 · 80 citations

Engineering, Generic Programming, Type Theory +12

Dependently typed programming with singletons

Richard A. Eisenberg, Stephanie Weirich · 2012 · 74 citations

Engineering, Generic Programming, Automated Reasoning +9

International Conference on Functional Programming (ICFP 2017)

Garrett Morris, Richard A. Eisenberg · 2017 · 60 citations

Mathematical Programming, Programming Language Theory, Computational Science +5

A specification for dependent types in Haskell

Stephanie Weirich, Antoine Voizard, Pedro H. Azevedo de Amorim et al. · Proceedings of the ACM on Programming Languages · 2017 · 43 citations · Full text

Coq Proof Assistant, Dependent Types, Engineering +12

System FC with explicit kind equality

Stephanie Weirich, Justin Hsu, Richard A. Eisenberg · 2013 · 41 citations

System F, Engineering, Boolean Function +15

Rows per page

1–5 of 21