Richard A. Eisenberg
Richard A. Eisenberg
Principal Researcher, Tweag I/O
Verified email at richarde.dev - Homepage
Title
Cited by
Cited by
Year
Dependently typed programming with singletons
RA Eisenberg, S Weirich
ACM SIGPLAN Notices 47 (12), 117-130, 2012
1002012
Closed type families with overlapping equations
RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich
ACM SIGPLAN Notices 49 (1), 671-683, 2014
802014
System FC with explicit kind equality
S Weirich, J Hsu, RA Eisenberg
ACM SIGPLAN Notices 48 (9), 275-286, 2013
59*2013
Dependent types in Haskell: Theory and practice
RA Eisenberg
PhD Thesis, 2016
492016
Visible type application
RA Eisenberg, S Weirich, HG Ahmed
European Symposium on Programming, 229-254, 2016
442016
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), 31, 2017
382017
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
352014
Promoting functions to type families in Haskell
RA Eisenberg, J Stolarek
ACM SIGPLAN Notices 49 (12), 95-106, 2014
332014
Pattern synonyms
M Pickering, G Érdi, S Peyton Jones, RA Eisenberg
Proceedings of the 9th International Symposium on Haskell, 80-91, 2016
312016
Injective type families for Haskell
J Stolarek, S Peyton Jones, RA Eisenberg
ACM SIGPLAN Notices 50 (12), 118-128, 2015
222015
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
21*2013
Safe zero-cost coercions for Haskell
J Breitner, RA Eisenberg, SP Jones, S Weirich
Journal of Functional Programming 26, 2016
202016
Experience report: Type-checking polymorphic units for astrophysics research in Haskell
T Muranushi, RA Eisenberg
ACM SIGPLAN Notices 49 (12), 31-38, 2014
192014
A reflection on types
SP Jones, S Weirich, RA Eisenberg, D Vytiniotis
A List of Successes That Can Change the World, 292-317, 2016
182016
Levity polymorphism
RA Eisenberg, S Peyton Jones
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
132017
System FC, as implemented in GHC
RA Eisenberg
112015
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
9*2019
Constrained type families
JG Morris, RA Eisenberg
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017
82017
An overabundance of equality: Implementing kind equalities into Haskell
RA Eisenberg
62015
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
52020
The system can't perform the operation now. Try again later.
Articles 1–20