Richard A. Eisenberg

Author

Also Known As

EISENBERG, RICHARD A., Chevron USA, EISENBERG, RICHARD A., D. J. GOGGIN, EISENBERG, RICHARD A., P. M. HARRIS, EISENBERG, RICHARD A., and MARK DIX, Eisenberg, Richard A., EisenbergRichard A., R. A. Eisenberg, R. Eisenberg, R.A. Eisenberg, RICHARD A. EISENBERG

Publications

738

Citations

H-Index

Concepts

All Affiliations

University of Pennsylvania Microsoft Research (United Kingdom)Bryn Mawr College California University of Pennsylvania Microsoft (United States)

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	17	521
2	Computer Science	13	17	521
3	Computer Engineering	5	5	104
4	Language Studies	1	1	33
5	Management	1	1	26

Richard A. Eisenberg

Publications

589

Citations

H-Index

Page 1

	Year	Citations
Closed type families with overlapping equations Richard A. Eisenberg, Dimitrios Vytiniotis, Simon Peyton Jones, EngineeringGeneric ProgrammingType TheoryDependently Typed ProgrammingPractical Programming Language	2014	80
Dependently typed programming with singletons Richard A. Eisenberg, Stephanie Weirich EngineeringGeneric ProgrammingAutomated ReasoningProgram AnalysisHaskell Type System	2012	74
International Conference on Functional Programming (ICFP 2017) Garrett Morris, Richard A. Eisenberg Mathematical ProgrammingProgramming Language TheoryComputational ScienceEngineeringFunctional Programming Language	2017	60
A specification for dependent types in Haskell Stephanie Weirich, Antoine Voizard, Pedro H. Azevedo de Amorim, Proceedings of the ACM on Programming Languages Coq Proof AssistantDependent TypesEngineeringAutomated ReasoningType Theory	2017	43
System FC with explicit kind equality Stephanie Weirich, Justin Hsu, Richard A. Eisenberg System FEngineeringBoolean FunctionProgram AnalysisAutomated Reasoning	2013	41
A graded dependent type system with a usage-aware semantics Pritam Choudhury, Harley Eades, Richard A. Eisenberg, Proceedings of the ACM on Programming Languages EngineeringType TheorySemanticsSoftware AnalysisFormal Verification	2021	33
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl) Richard A. Eisenberg arXiv (Cornell University)	2016	26
Pattern synonyms Matthew C. Pickering, Gergő Érdi, Simon Peyton Jones, EngineeringData TypeData ScienceProgram AnalysisVerification	2016	26
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Proceedings of the ACM on Programming Languages Numerical AnalysisEngineeringFormal VerificationEfficient ImplementationSystems Engineering	2022	26
Safe zero-cost coercions for Haskell Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, EngineeringType TheoryGenerative Type AbstractionsSoftware AnalysisFormal Verification	2014	25

Page 1