Stephanie Weirich
- Implementing Dependent Types in pi-forall
2022/07/05 by Stephanie Weirich, Weirich, Stephanie · 2 voices · 3 citations
Computer Science · #D.3.1 #D.3.3 #F.3.3 #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
2018/03/19 by Joachim Breitner, Antal Spector-Zabusky, Breitner, Joachim +9 · 1 voice
#cs.PL
- Making Logical Relations More Relatable (Proof Pearl)
2023/09/27 by Emmanuel Suárez Acevedo, Stephanie Weirich, Acevedo, Emmanuel Suárez +1 · 1 voice · 1 citation
Computer Science · #Logic, programming, and type systems #Semantic Web and Ontologies #Logic, Reasoning, and Knowledge
- Stratified Type Theory
2023/09/21 by Jonathan Chan, Chan, Jonathan, Stephanie Weirich +1 · 1 voice · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #cs.PL
- Consistency of a Dependent Calculus of Indistinguishability
2025/01/07 by Yiyun Liu, Jonathan Chan, Stephanie Weirich · 1 voice · 1 citation
Computer Science · #Logic, programming, and type systems #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge