PaperMetrixEvidence-aware discovery
EN
Interface language English EN العربية AR Türkçe TR
Create account
Researcher profile

Richard A. Eisenberg

2 papers in the PaperMetrix corpus

Publications

Papers by this author

  1. An existential crisis resolved: type inference for first-class existential types

    2021 · Proceedings of the ACM on Programming Languages

    Despite the great success of inferring and programming with universal types, their dual—existential types—are much harder to work with. Existential types are useful in building abstract types, working with indexed types, and providing first-class support …

  2. Data Race Freedom à la Mode

    2025 · Proceedings of the ACM on Programming Languages

    We present DRFCaml, an extension of OCaml’s type system that guarantees data race freedom for multithreaded OCaml programs while retaining backward compatibility with existing sequential OCaml code. We build on recent work of Lorenzen et …