Richard A. Eisenberg

42 papers A* 2A 4C 7Journal 22Unranked 5
YearRankTypeTitle / Venue / Authors
2025 C conf
A Tale of Two Lambdas: A Haskeller's Journey into OCaml (Keynote).
Haskell
Richard A. Eisenberg
2025 J jnl
Data Race Freedom à la Mode.
Proc. ACM Program. Lang.
Aïna Linn Georges, Benjamin Peters, Laila Elbeheiry, Leo White, Stephen Dolan, Richard A. Eisenberg, Chris Casinghino, François Pottier, Derek Dreyer
2024 J jnl
Oxidizing OCaml with Modal Memory Management.
Proc. ACM Program. Lang.
Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, Sam Lindley
2022 J jnl
Eiger: Auditable, executable, flexible legal regulations.
CoRR
Alexander Bernauer, Richard A. Eisenberg
2022 J jnl
Linearly qualified types: generic inference for capabilities and uniqueness.
Proc. ACM Program. Lang.
Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard A. Eisenberg
2022 J jnl
Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation.
Proc. ACM Program. Lang.
Faustyna Krawiec, Simon Peyton Jones, Neel Krishnaswami, Tom Ellis, Richard A. Eisenberg, Andrew W. Fitzgibbon
2021 J jnl
A graded dependent type system with a usage-aware semantics.
Proc. ACM Program. Lang.
Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie Weirich
2021 J jnl
An existential crisis resolved: type inference for first-class existential types.
Proc. ACM Program. Lang.
Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, Daniel Lee
2021 J jnl
Linear Constraints.
CoRR
Jean-Philippe Bernardy, Richard A. Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu
2021 J jnl
Seeking Stability by being Lazy and Shallow.
CoRR
Gert-Jan Bottu, Richard A. Eisenberg
2021 C conf
Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly.
Haskell
Gert-Jan Bottu, Richard A. Eisenberg
2020 J jnl
A graded dependent type system with a usage-aware semantics (extended version).
CoRR
Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie C. Weirich
2020 — conf
Composing effects into tasks and workflows.
Haskell@ICFP
Yves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg
2020 J jnl
Kind inference for datatypes.
Proc. ACM Program. Lang.
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
2020 J jnl
Kinds are calling conventions.
Proc. ACM Program. Lang.
Paul Downen, Zena M. Ariola, Simon Peyton Jones, Richard A. Eisenberg
2020 J jnl
Partial type constructors: or, making ad hoc datatypes less ad hoc.
Proc. ACM Program. Lang.
Mark P. Jones, J. Garrett Morris, Richard A. Eisenberg
2020 — conf
Stitch: the sound type-indexed type checker (functional pearl).
Haskell@ICFP
Richard A. Eisenberg
2019 J jnl
A Role for Dependent Types in Haskell (Extended version).
CoRR
Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg
2019 J jnl
A role for dependent types in Haskell.
Proc. ACM Program. Lang.
Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg
2019 J jnl
Kind Inference for Datatypes: Technical Supplement.
CoRR
Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira
2019 — ed.
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019
Haskell@ICFP
Richard A. Eisenberg
2018 — ed.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018
TyDe@ICFP
Richard A. Eisenberg, Niki Vazou
2018 — conf
The Thoralf plugin: for your fancy type needs.
Haskell@ICFP
Divesh Otwani, Richard A. Eisenberg
2018 — conf
Type variables in patterns.
Haskell@ICFP
Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
2018 J jnl
Type variables in patterns.
CoRR
Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones
2017 J jnl
A specification for dependent types in Haskell.
Proc. ACM Program. Lang.
Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, Richard A. Eisenberg
2017 J jnl
Constrained Type Families.
CoRR
J. Garrett Morris, Richard A. Eisenberg
2017 J jnl
Constrained type families.
Proc. ACM Program. Lang.
J. Garrett Morris, Richard A. Eisenberg
2017 A* conf
Levity polymorphism.
PLDI
Richard A. Eisenberg, Simon Peyton Jones
2016 — conf
A Reflection on Types.
A List of Successes That Can Change the World
Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis
2016 J jnl
Dependent Types in Haskell: Theory and Practice.
CoRR
Richard A. Eisenberg
2016 C conf
Pattern synonyms.
Haskell
Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg
2016 J jnl
Safe zero-cost coercions for Haskell.
J. Funct. Program.
Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich
2016 A conf
Visible Type Application.
ESOP
Richard A. Eisenberg, Stephanie Weirich, Hamidhasan G. Ahmed
2015 C conf
Injective type families for Haskell.
Haskell
Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg
2014 A* conf
Closed type families with overlapping equations.
POPL
Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich
2014 C conf
Experience report: type-checking polymorphic units for astrophysics research in Haskell.
Haskell
Takayuki Muranushi, Richard A. Eisenberg
2014 C conf
Promoting functions to type families in Haskell.
Haskell
Richard A. Eisenberg, Jan Stolarek
2014 A conf
Safe zero-cost coercions for Haskell.
ICFP
Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich
2013 A conf
Ironclad C++: a library-augmented type-safe subset of c++.
OOPSLA
Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic
2013 A conf
System FC with explicit kind equality.
ICFP
Stephanie Weirich, Justin Hsu, Richard A. Eisenberg
2012 C conf
Dependently typed programming with singletons.
Haskell
Richard A. Eisenberg, Stephanie Weirich