Richard A. Eisenberg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
6
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | HASKELL | A Tale of Two Lambdas: A Haskeller's Journey into OCaml (Keynote). | Richard A. Eisenberg |
| 2021 | HASKELL | Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly. | Gert-Jan Bottu, Richard A. Eisenberg |
| 2020 | HASKELL | Stitch: the sound type-indexed type checker (functional pearl). | Richard A. Eisenberg |
| 2020 | HASKELL | Composing effects into tasks and workflows. | Yves Pars, Jean-Philippe Bernardy, Richard A. Eisenberg |
| 2018 | HASKELL | Type variables in patterns. | Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones |
| 2018 | HASKELL | The Thoralf plugin: for your fancy type needs. | Divesh Otwani, Richard A. Eisenberg |
| 2017 | PLDI | Levity polymorphism. | Richard A. Eisenberg, Simon Peyton Jones |
| 2016 | ESOP | Visible Type Application. | Richard A. Eisenberg, Stephanie Weirich, Hamidhasan G. Ahmed |
| 2016 | HASKELL | Pattern synonyms. | Matthew Pickering, Gergo rdi, Simon Peyton Jones, Richard A. Eisenberg |
| 2015 | HASKELL | Injective type families for Haskell. | Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg |
| 2014 | HASKELL | Promoting functions to type families in Haskell. | Richard A. Eisenberg, Jan Stolarek |
| 2014 | HASKELL | Experience report: type-checking polymorphic units for astrophysics research in Haskell. | Takayuki Muranushi, Richard A. Eisenberg |
| 2014 | ICFP | Safe zero-cost coercions for Haskell. | Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich |
| 2014 | POPL | Closed type families with overlapping equations. | Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich |
| 2013 | ICFP | System FC with explicit kind equality. | Stephanie Weirich, Justin Hsu, Richard A. Eisenberg |
| 2013 | OOPSLA | Ironclad C++: a library-augmented type-safe subset of c++. | Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic |
| 2012 | HASKELL | Dependently typed programming with singletons. | Richard A. Eisenberg, Stephanie Weirich |