Richard A. Eisenberg

Identifiers

No identifiers captured yet.

Papers (4)

1. Linear Constraints cs.PL · 2026 · author #5
2. A Role for Dependent Types in Haskell (Extended version) cs.PL · 2019 · author #4
3. Type variables in patterns cs.PL · 2018 · author #1
4. Dependent Types in Haskell: Theory and Practice cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Antoine Voizard 1 shared papers
• Arnaud Spiwack 1 shared papers
• Csongor Kiss 1 shared papers
• Jean-Philippe Bernardy 1 shared papers
• Joachim Breitner 1 shared papers
• Nicolas Wu 1 shared papers
• Pritam Choudhury 1 shared papers
• Simon Peyton Jones 1 shared papers
• Stephanie Weirich 1 shared papers