Dependently typed programming with singletons RA Eisenberg, S Weirich ACM SIGPLAN Notices 47 (12), 117-130, 2012 | 120 | 2012 |
Closed type families with overlapping equations RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich ACM SIGPLAN Notices 49 (1), 671-683, 2014 | 97 | 2014 |
Dependent types in haskell: Theory and practice RA Eisenberg University of Pennsylvania, 2016 | 79 | 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 | 73 | 2017 |
System FC with explicit kind equality S Weirich, J Hsu, RA Eisenberg ACM SIGPLAN Notices 48 (9), 275-286, 2013 | 67 | 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 | 48 | 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 | 43 | 2014 |
Promoting functions to type families in Haskell RA Eisenberg, J Stolarek ACM SIGPLAN Notices 49 (12), 95-106, 2014 | 38 | 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 | 37 | 2021 |
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 | 32 | 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 | 29* | 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 | 19 | 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 |
Constrained type families JG Morris, RA Eisenberg Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017 | 9 | 2017 |