default search action
Richard A. Eisenberg
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j12]Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, Sam Lindley:
Oxidizing OCaml with Modal Memory Management. Proc. ACM Program. Lang. 8(ICFP): 485-514 (2024) - 2022
- [j11]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): 137-164 (2022) - [j10]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): 1-30 (2022) - [i9]Alexander Bernauer, Richard A. Eisenberg:
Eiger: Auditable, executable, flexible legal regulations. CoRR abs/2209.04939 (2022) - 2021
- [j9]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): 1-29 (2021) - [j8]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): 1-32 (2021) - [c17]Gert-Jan Bottu, Richard A. Eisenberg:
Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly. Haskell 2021: 85-97 - [i8]Jean-Philippe Bernardy, Richard A. Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu:
Linear Constraints. CoRR abs/2103.06127 (2021) - [i7]Gert-Jan Bottu, Richard A. Eisenberg:
Seeking Stability by being Lazy and Shallow. CoRR abs/2106.14938 (2021) - 2020
- [j7]Paul Downen, Zena M. Ariola, Simon Peyton Jones, Richard A. Eisenberg:
Kinds are calling conventions. Proc. ACM Program. Lang. 4(ICFP): 104:1-104:29 (2020) - [j6]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): 40:1-40:28 (2020) - [j5]Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira:
Kind inference for datatypes. Proc. ACM Program. Lang. 4(POPL): 53:1-53:28 (2020) - [c16]Richard A. Eisenberg:
Stitch: the sound type-indexed type checker (functional pearl). Haskell@ICFP 2020: 39-53 - [c15]Yves Parès, Jean-Philippe Bernardy, Richard A. Eisenberg:
Composing effects into tasks and workflows. Haskell@ICFP 2020: 80-94 - [i6]Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie C. Weirich:
A graded dependent type system with a usage-aware semantics (extended version). CoRR abs/2011.04070 (2020)
2010 – 2019
- 2019
- [j4]Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg:
A role for dependent types in Haskell. Proc. ACM Program. Lang. 3(ICFP): 101:1-101:29 (2019) - [e2]Richard A. Eisenberg:
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019. ACM 2019, ISBN 978-1-4503-6813-1 [contents] - [i5]Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg:
A Role for Dependent Types in Haskell (Extended version). CoRR abs/1905.13706 (2019) - [i4]Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira:
Kind Inference for Datatypes: Technical Supplement. CoRR abs/1911.06153 (2019) - 2018
- [c14]Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones:
Type variables in patterns. Haskell@ICFP 2018: 94-105 - [c13]Divesh Otwani, Richard A. Eisenberg:
The Thoralf plugin: for your fancy type needs. Haskell@ICFP 2018: 106-118 - [e1]Richard A. Eisenberg, Niki Vazou:
Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2018, St. Louis, MO, USA, September 27, 2018. ACM 2018 [contents] - [i3]Richard A. Eisenberg, Joachim Breitner, Simon Peyton Jones:
Type variables in patterns. CoRR abs/1806.03476 (2018) - 2017
- [j3]Stephanie Weirich, Antoine Voizard, Pedro Henrique Azevedo de Amorim, Richard A. Eisenberg:
A specification for dependent types in Haskell. Proc. ACM Program. Lang. 1(ICFP): 31:1-31:29 (2017) - [j2]J. Garrett Morris, Richard A. Eisenberg:
Constrained type families. Proc. ACM Program. Lang. 1(ICFP): 42:1-42:28 (2017) - [c12]Richard A. Eisenberg, Simon Peyton Jones:
Levity polymorphism. PLDI 2017: 525-539 - [i2]J. Garrett Morris, Richard A. Eisenberg:
Constrained Type Families. CoRR abs/1706.09715 (2017) - 2016
- [j1]Joachim Breitner, Richard A. Eisenberg, Simon Peyton Jones, Stephanie Weirich:
Safe zero-cost coercions for Haskell. J. Funct. Program. 26: e15 (2016) - [c11]Simon Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, Dimitrios Vytiniotis:
A Reflection on Types. A List of Successes That Can Change the World 2016: 292-317 - [c10]Richard A. Eisenberg, Stephanie Weirich, Hamidhasan G. Ahmed:
Visible Type Application. ESOP 2016: 229-254 - [c9]Matthew Pickering, Gergo Érdi, Simon Peyton Jones, Richard A. Eisenberg:
Pattern synonyms. Haskell 2016: 80-91 - [i1]Richard A. Eisenberg:
Dependent Types in Haskell: Theory and Practice. CoRR abs/1610.07978 (2016) - 2015
- [c8]Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg:
Injective type families for Haskell. Haskell 2015: 118-128 - 2014
- [c7]Takayuki Muranushi, Richard A. Eisenberg:
Experience report: type-checking polymorphic units for astrophysics research in Haskell. Haskell 2014: 31-38 - [c6]Richard A. Eisenberg, Jan Stolarek:
Promoting functions to type families in Haskell. Haskell 2014: 95-106 - [c5]Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich:
Safe zero-cost coercions for Haskell. ICFP 2014: 189-202 - [c4]Richard A. Eisenberg, Dimitrios Vytiniotis, Simon L. Peyton Jones, Stephanie Weirich:
Closed type families with overlapping equations. POPL 2014: 671-684 - 2013
- [c3]Stephanie Weirich, Justin Hsu, Richard A. Eisenberg:
System FC with explicit kind equality. ICFP 2013: 275-286 - [c2]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: 287-304 - 2012
- [c1]Richard A. Eisenberg, Stephanie Weirich:
Dependently typed programming with singletons. Haskell 2012: 117-130
Coauthor Index
aka: Simon Peyton Jones
aka: Stephanie C. Weirich
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-22 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint