Folgen
Richard A. Eisenberg
Richard A. Eisenberg
Jane Street
Bestätigte E-Mail-Adresse bei richarde.dev - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Dependently typed programming with singletons
RA Eisenberg, S Weirich
ACM SIGPLAN Notices 47 (12), 117-130, 2012
1162012
Closed type families with overlapping equations
RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich
ACM SIGPLAN Notices 49 (1), 671-683, 2014
962014
Dependent types in haskell: Theory and practice
RA Eisenberg
University of Pennsylvania, 2016
712016
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, PH de Amorim, RA Eisenberg
Proceedings of the ACM on Programming Languages 1 (ICFP), 2017
592017
Visible type application
RA Eisenberg, S Weirich, HG Ahmed
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
552016
Pattern synonyms
M Pickering, G Érdi, S Peyton Jones, RA Eisenberg
Proceedings of the 9th International Symposium on Haskell, 80-91, 2016
452016
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
402014
Promoting functions to type families in Haskell
RA Eisenberg, J Stolarek
ACM SIGPLAN Notices 49 (12), 95-106, 2014
352014
Injective type families for Haskell
J Stolarek, S Peyton Jones, RA Eisenberg
ACM SIGPLAN Notices 50 (12), 118-128, 2015
262015
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
25*2013
Safe zero-cost coercions for Haskell
J Breitner, RA Eisenberg, SP Jones, S Weirich
Journal of Functional Programming 26, e15, 2016
232016
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
222016
Experience report: Type-checking polymorphic units for astrophysics research in Haskell
T Muranushi, RA Eisenberg
ACM SIGPLAN Notices 49 (12), 31-38, 2014
222014
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation.
F Krawiec, SP Jones, N Krishnaswami, T Ellis, RA Eisenberg, ...
Proc. ACM Program. Lang. 6 (POPL), 1-30, 2022
202022
Levity polymorphism
RA Eisenberg, S Peyton Jones
ACM SIGPLAN Notices 52 (6), 525-539, 2017
172017
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
162021
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
122015
Type variables in patterns
RA Eisenberg, J Breitner, S Peyton Jones
ACM SIGPLAN Notices 53 (7), 94-105, 2018
92018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20