Get started
Author

Richard A. Eisenberg

Observed names: Eisenberg, Richard A., RICHARD A. EISENBERG, Richard Eisenberg
ORCID: 0000-0002-7669-9781
Observed ORCID: 0000-0002-7669-9781
OpenAlex ID: A5082913747
Closed type families with overlapping equations
2014 · Richard A. Eisenberg, Dimitrios Vytiniotis, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 78
Dependently typed programming with singletons
2012 · Richard A. Eisenberg, Stephanie Weirich · 78
International Conference on Functional Programming (ICFP 2017)
2017 · Garrett Morris, Richard A. Eisenberg · 60
A graded dependent type system with a usage-aware semantics
2021 · Pritam Choudhury, Harley Eades III, et al. · Proceedings of the ACM on Programming Languages · 57
PDF
A specification for dependent types in Haskell
2017 · Stephanie Weirich, Antoine Voizard, et al. · Proceedings of the ACM on Programming Languages · 56
PDF
System FC with explicit kind equality
2013 · Stephanie Weirich, Justin Hsu, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 42
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation
2022 · Faustyna Krawiec, Simon Peyton Jones, et al. · Proceedings of the ACM on Programming Languages · 38
PDF
Dependent Types in Haskell: Theory and Practice
2016 · Eisenberg, Richard A. · arXiv (Cornell University) · 35
PDF
Pattern synonyms
2016 · Matthew Pickering, Gergő Érdi, et al. · 33
PDF
Visible Type Application
2016 · Richard A. Eisenberg, Stephanie Weirich, et al. · Lecture notes in computer science · 31
Oxidizing OCaml with Modal Memory Management
2024 · Anton Lorenzen, Leo White, et al. · Proceedings of the ACM on Programming Languages · 30
Safe zero-cost coercions for Haskell
2014 · Joachim Breitner, Richard A. Eisenberg, et al. · ACM SIGPLAN International Conference on Functional Programming (ICFP) · 29
Promoting functions to type families in Haskell
2014 · Richard A. Eisenberg, Jan Stolarek · International Symposium on Haskell · 23
Ironclad C++: a library-augmented type-safe subset of c++
2013 · Christian DeLozier, Richard Eisenberg, et al. · Conference on Object-Oriented Programming Systems, Languages, and Applications · 21
PDF
Dependently typed programming with singletons
2012 · Richard A. Eisenberg, Stephanie Weirich · ACM SIGPLAN Notices · 20
Linearly qualified types: generic inference for capabilities and uniqueness
2022 · Arnaud Spiwack, Csongor Kiss, et al. · Proceedings of the ACM on Programming Languages · 17
PDF
A Reflection on Types
2016 · Simon Peyton Jones, Stephanie Weirich, et al. · Lecture notes in computer science · 17
Safe zero-cost coercions for Haskell
2016 · JOACHIM BREITNER, RICHARD A. EISENBERG, et al. · Journal of Functional Programming · 17
PDF
Injective type families for Haskell
2015 · Jan Stolarek, Simon Peyton Jones, et al. · International Symposium on Haskell · 17
Experience report: type-checking polymorphic units for astrophysics research in Haskell
2014 · Takayuki Muranushi, Richard A. Eisenberg · International Symposium on Haskell · 15
A role for dependent types in Haskell
2019 · Stephanie Weirich, Pritam Choudhury, et al. · Proceedings of the ACM on Programming Languages · 13
PDF
Levity polymorphism
2017 · Richard A. Eisenberg, Simon Peyton Jones · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 13
PDF
Data Race Freedom à la Mode
2025 · Aïna Linn Georges, Benjamin Peters, et al. · Proceedings of the ACM on Programming Languages · 12
System FC with explicit kind equality
2013 · Stephanie Weirich, Justin Hsu, et al. · ACM SIGPLAN Notices · 12
Kinds are calling conventions
2020 · Paul Downen, Zena M. Ariola, et al. · Proceedings of the ACM on Programming Languages · 11
PDF
Works count: 73
Citation count: 871
H-index: 17
I10-index: 26
Year
Topic
Type