Richard A. Eisenberg

Cited by

	All	Since 2018
Citations	854	583
h-index	17	14
i10-index	19	18

140

105

2012201320142015201620172018201920202021202220235 18 39 59 58 85 129 118 104 111 94 27

Public access

View all

16 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Simon Peyton JonesEpic GamesVerified email at epicgames.com
Justin HsuCornell UniversityVerified email at justinhsu.net
Dimitrios VytiniotisDeepMindVerified email at google.com
Joachim BreitnerunaffiliatedVerified email at joachim-breitner.de
Jan StolarekBinarApps sp. z o.o.Verified email at binarapps.com
J. Garrett MorrisThe University of IowaVerified email at acm.org
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Peter-Michael OseraGrinnell CollegeVerified email at cs.grinnell.edu
Santosh NagarakatteAssociate Professor of Computer Science at Rutgers UniversityVerified email at cs.rutgers.edu
Milo M. K. MartinGoogle (Former Associate Professor, University of Pennsylvania)Verified email at google.com
Gergő ÉrdiVerified email at erdi.hu
Matthew PickeringWell-Typed LLPVerified email at well-typed.com
Harley D. Eades IIIAssistant Professor of CS, Augusta UniversityVerified email at augusta.edu
Pedro Henrique Azevedo de AmorimCornell UniversityVerified email at cornell.edu
Mark P. JonesProfessor of Computer Science, Portland State UniversityVerified email at pdx.edu
Takayuki MuranushiKyoto UniversityVerified email at yukawa.kyoto-u.ac.jp
Ningning XieGoogle Brain / University of TorontoVerified email at google.com
Jean-Philippe BernardyUniversity of GothenburgVerified email at gu.se
Zena AriolaUniversity of OregonVerified email at cs.uoregon.edu

Richard A. Eisenberg

Jane Street

Verified email at richarde.dev - Homepage

Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Dependently typed programming with singletons RA Eisenberg, S Weirich ACM SIGPLAN Notices 47 (12), 117-130, 2012	118	2012
Closed type families with overlapping equations RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich ACM SIGPLAN Notices 49 (1), 671-683, 2014	96	2014
Dependent types in haskell: Theory and practice RA Eisenberg University of Pennsylvania, 2016	71	2016
System FC with explicit kind equality S Weirich, J Hsu, RA Eisenberg ACM SIGPLAN Notices 48 (9), 275-286, 2013	66*	2013
A specification for dependent types in Haskell S Weirich, A Voizard, PHA de Amorim, RA Eisenberg Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017	61	2017
Visible type application RA Eisenberg, S Weirich, HG Ahmed Programming Languages and Systems: 25th European Symposium on Programming …, 2016	54	2016
Pattern synonyms M Pickering, G Érdi, S Peyton Jones, RA Eisenberg Proceedings of the 9th International Symposium on Haskell, 80-91, 2016	45	2016
Safe zero-cost coercions for Haskell J Breitner, RA Eisenberg, S Peyton Jones, S Weirich Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014	41	2014
Promoting functions to type families in Haskell RA Eisenberg, J Stolarek ACM SIGPLAN Notices 49 (12), 95-106, 2014	37	2014
Injective type families for Haskell J Stolarek, S Peyton Jones, RA Eisenberg ACM SIGPLAN Notices 50 (12), 118-128, 2015	26	2015
Ironclad C++ a library-augmented type-safe subset of c++ C DeLozier, R Eisenberg, S Nagarakatte, PM Osera, MMK Martin, ... ACM SIGPLAN Notices 48 (10), 287-304, 2013	26*	2013
Safe zero-cost coercions for Haskell J Breitner, RA Eisenberg, SP Jones, S Weirich Journal of Functional Programming 26, e15, 2016	23	2016
Experience report: Type-checking polymorphic units for astrophysics research in Haskell T Muranushi, RA Eisenberg ACM SIGPLAN Notices 49 (12), 31-38, 2014	23	2014
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation F Krawiec, S Peyton Jones, N Krishnaswami, T Ellis, RA Eisenberg, ... Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022	22	2022
A reflection on types S Peyton Jones, S Weirich, RA Eisenberg, D Vytiniotis A List of Successes That Can Change the World, 292-317, 2016	22	2016
A graded dependent type system with a usage-aware semantics P Choudhury, H Eades III, RA Eisenberg, S Weirich Proceedings of the ACM on Programming Languages 5 (POPL), 1-32, 2021	18	2021
Levity polymorphism RA Eisenberg, S Peyton Jones ACM SIGPLAN Notices 52 (6), 525-539, 2017	18	2017
A role for dependent types in Haskell S Weirich, P Choudhury, A Voizard, RA Eisenberg Proceedings of the ACM on Programming Languages 3 (ICFP), 1-29, 2019	12*	2019
System FC, as implemented in GHC RA Eisenberg	12	2015
Type variables in patterns RA Eisenberg, J Breitner, S Peyton Jones ACM SIGPLAN Notices 53 (7), 94-105, 2018	9	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors