Richard A. Eisenberg

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 29

Top Topics

Functional Programming

Complex Relationships

Linear Constraints

Top Venues

Proc. ACM Program. Lang.

Publications

Alexander Bernauer, Richard A. Eisenberg
Eiger: Auditable, executable, flexible legal regulations. CoRR (2022)
Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard A. Eisenberg
Linearly qualified types: generic inference for capabilities and uniqueness. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew W. Fitzgibbon
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation. Proc. ACM Program. Lang. 6 (POPL) (2022)
Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie Weirich
A graded dependent type system with a usage-aware semantics. Proc. ACM Program. Lang. 5 (POPL) (2021)
Gert-Jan Bottu, Richard A. Eisenberg
Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly. Haskell (2021)
Gert-Jan Bottu, Richard A. Eisenberg
Seeking Stability by being Lazy and Shallow. CoRR (2021)
Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, Daniel Lee
An existential crisis resolved: type inference for first-class existential types. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Jean-Philippe Bernardy, Richard A. Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu
Linear Constraints. CoRR (2021)
Richard A. Eisenberg
Stitch: the sound type-indexed type checker (functional pearl). Haskell@ICFP (2020)
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
Kind inference for datatypes. Proc. ACM Program. Lang. 4 (POPL) (2020)
Mark P. Jones, J. Garrett Morris, Richard A. Eisenberg
Partial type constructors: or, making ad hoc datatypes less ad hoc. Proc. ACM Program. Lang. 4 (POPL) (2020)
Yves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg
Composing effects into tasks and workflows. Haskell@ICFP (2020)
Paul Downen, Zena M. Ariola, Simon Peyton Jones, Richard A. Eisenberg
Kinds are calling conventions. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie C. Weirich
A graded dependent type system with a usage-aware semantics (extended version). CoRR (2020)
Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg
A role for dependent types in Haskell. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg
A Role for Dependent Types in Haskell (Extended version). CoRR (2019)
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
Kind Inference for Datatypes: Technical Supplement. CoRR (2019)
Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
Type variables in patterns. Haskell@ICFP (2018)
Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
Type variables in patterns. CoRR (2018)
Divesh Otwani, Richard A. Eisenberg
The Thoralf plugin: for your fancy type needs. Haskell@ICFP (2018)
Stephanie Weirich, Antoine Voizard, Pedro Henrique Avezedo de Amorim, Richard A. Eisenberg
A specification for dependent types in Haskell. Proc. ACM Program. Lang. 1 (ICFP) (2017)
J. Garrett Morris, Richard A. Eisenberg
Constrained type families. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Richard A. Eisenberg, Simon Peyton Jones
Levity polymorphism. PLDI (2017)
J. Garrett Morris, Richard A. Eisenberg
Constrained Type Families. CoRR (2017)
Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich
Safe zero-cost coercions for Haskell. J. Funct. Program. 26 (2016)
Richard A. Eisenberg, Stephanie Weirich, Hamidhasan G. Ahmed
Visible Type Application. ESOP (2016)
Richard A. Eisenberg
Dependent Types in Haskell: Theory and Practice. CoRR (2016)
Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis
A Reflection on Types. A List of Successes That Can Change the World (2016)
Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg
Pattern synonyms. Haskell (2016)
Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg
Injective type families for Haskell. Haskell (2015)
Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich
Closed type families with overlapping equations. POPL (2014)
Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich
Safe zero-cost coercions for Haskell. ICFP (2014)
Takayuki Muranushi, Richard A. Eisenberg
Experience report: type-checking polymorphic units for astrophysics research in Haskell. Haskell (2014)
Richard A. Eisenberg, Jan Stolarek
Promoting functions to type families in Haskell. Haskell (2014)
Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic
Ironclad C++: a library-augmented type-safe subset of c++. OOPSLA (2013)
Stephanie Weirich, Justin Hsu, Richard A. Eisenberg
System FC with explicit kind equality. ICFP (2013)
Richard A. Eisenberg, Stephanie Weirich
Dependently typed programming with singletons. Haskell (2012)