Stephanie Weirich

Identifiers

No identifiers captured yet.

Papers (3)

1. A Role for Dependent Types in Haskell (Extended version) cs.PL · 2019 · author #1
2. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code cs.PL · 2018 · author #6
3. Total Haskell is Reasonable Coq cs.PL · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Antal Spector-Zabusky 2 shared papers
• Christine Rizkallah 2 shared papers
• Joachim Breitner 2 shared papers
• Antoine Voizard 1 shared papers
• John Wiegley 1 shared papers
• Pritam Choudhury 1 shared papers
• Richard A. Eisenberg 1 shared papers
• Yao Li 1 shared papers