Richard A. Eisenberg

Cited by

	All	Since 2019
Citations	983	584
h-index	17	13
i10-index	21	19

140

105

20122013201420152016201720182019202020212022202320245 17 39 58 58 84 129 118 106 108 94 80 78

Public access

View all

18 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
Dimitrios VytiniotisDeepMindVerified email at google.com
Joachim BreitnerLean FROVerified email at joachim-breitner.de
Justin HsuCornell UniversityVerified email at justinhsu.net
Jan StolarekBinarApps sp. z o.o.Verified email at binarapps.com
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
J. Garrett MorrisThe University of IowaVerified email at acm.org
Peter-Michael OseraGrinnell CollegeVerified email at cs.grinnell.edu
Santosh NagarakatteProfessor of Computer Science at Rutgers UniversityVerified email at cs.rutgers.edu
Harley D. Eades IIIAssistant Professor of CS, Augusta UniversityVerified email at augusta.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
Pedro H. Azevedo de AmorimUniversity of OxfordVerified email at cs.ox.ac.uk
Jean-Philippe BernardyUniversity of GothenburgVerified email at gu.se
Mark P. JonesProfessor of Computer Science, Portland State UniversityVerified email at pdx.edu
Takayuki MuranushiKyoto UniversityVerified email at yukawa.kyoto-u.ac.jp
Ningning XieUniversity of Toronto / Google DeepMindVerified email at google.com
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	126	2012
Closed type families with overlapping equations RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich ACM SIGPLAN Notices 49 (1), 671-683, 2014	98	2014
Dependent types in haskell: Theory and practice RA Eisenberg University of Pennsylvania, 2016	80	2016
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	75	2017
System FC with explicit kind equality S Weirich, J Hsu, RA Eisenberg ACM SIGPLAN Notices 48 (9), 275-286, 2013	69	2013
Visible type application RA Eisenberg, S Weirich, HG Ahmed Programming Languages and Systems: 25th European Symposium on Programming …, 2016	58	2016
Pattern synonyms M Pickering, G Érdi, S Peyton Jones, RA Eisenberg Proceedings of the 9th International Symposium on Haskell, 80-91, 2016	52	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	44	2014
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	42	2021
Promoting functions to type families in Haskell RA Eisenberg, J Stolarek ACM SIGPLAN Notices 49 (12), 95-106, 2014	38	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	35	2022
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	30*	2013
Injective type families for Haskell J Stolarek, S Peyton Jones, RA Eisenberg ACM SIGPLAN Notices 50 (12), 118-128, 2015	27	2015
Safe zero-cost coercions for Haskell J Breitner, RA Eisenberg, SP Jones, S Weirich Journal of Functional Programming 26, e15, 2016	24	2016
Experience report: Type-checking polymorphic units for astrophysics research in Haskell T Muranushi, RA Eisenberg ACM SIGPLAN Notices 49 (12), 31-38, 2014	24	2014
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	23	2016
Levity polymorphism RA Eisenberg, S Peyton Jones ACM SIGPLAN Notices 52 (6), 525-539, 2017	21	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	13*	2019
System FC, as implemented in GHC RA Eisenberg	13	2015
Kinds are calling conventions P Downen, ZM Ariola, S Peyton Jones, RA Eisenberg Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020	12	2020

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