Stephanie Weirich
University of Pennsylvania
H-index: 35
North America-United States
Top articles of Stephanie Weirich
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Internalizing Indistinguishability with Dependent Types | Proceedings of the ACM on Programming Languages | Yiyun Liu Jonathan Chan Jessica Shi Stephanie Weirich | 2024/1/5 |
Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS … | Stephanie Weirich | 2024 | |
Effects and Coeffects in Call-By-Push-Value (Extended Version) | arXiv preprint arXiv:2311.11795 | Cassia Torczon Emmanuel Suárez Acevedo Shubh Agrawal Joey Velez-Ginorio Stephanie Weirich | 2023/11/20 |
Making Logical Relations More Relatable (Proof Pearl) | arXiv preprint arXiv:2309.15724 | Emmanuel Suárez Acevedo Stephanie Weirich | 2023/9/27 |
Stratified Type Theory | arXiv preprint arXiv:2309.12164 | Jonathan Chan Stephanie Weirich | 2023/9/21 |
Dependently-Typed Programming with Logical Equality Reflection | Proceedings of the ACM on Programming Languages | Yiyun Liu Stephanie Weirich | 2023/8/30 |
Programming Languages and Systems | ACM Transactions on | M Vukasovic A Prokopec A Boruch-Gruszecki M Odersky E Lee | 2023 |
Program adverbs and Tlön embeddings | Proceedings of the ACM on Programming Languages | Yao Li Stephanie Weirich | 2022/8/29 |
Program Adverbs and Tl\" on Embeddings | arXiv preprint arXiv:2207.05227 | Yao Li Stephanie Weirich | 2022/7/11 |
Implementing Dependent Types in pi-forall | arXiv preprint arXiv:2207.02129 | Stephanie Weirich | 2022/7/5 |
A Dependent Dependency Calculus | Pritam Choudhury Harley Eades III Stephanie Weirich | 2022/3/29 | |
A Dependent Dependency Calculus (Extended Version) | arXiv preprint arXiv:2201.11040 | Pritam Choudhury Harley Eades III Stephanie Weirich | 2022/1/26 |
An existential crisis resolved: Type inference for first-class existential types | Proceedings of the ACM on Programming Languages | Richard A Eisenberg Guillaume Duboc Stephanie Weirich Daniel Lee | 2021/8/18 |
Reasoning about the garden of forking paths | Proceedings of the ACM on Programming Languages | Yao Li Li-yao Xia Stephanie Weirich | 2021/8/18 |
ICFP 2020 Post-Conference Report | arXiv preprint arXiv:2104.01239 | Stephanie Weirich Benjamin Pierce | 2021/3/15 |
A graded dependent type system with a usage-aware semantics | Proceedings of the ACM on Programming Languages | Pritam Choudhury Harley Eades III Richard A Eisenberg Stephanie Weirich | 2021/1/4 |
An Existential Crisis Resolved | RICHARD A EISENBERG GUILLAUME DUBOC STEPHANIE WEIRICH DANIEL LEE | 2021 | |
25th International Conference on Types for Proofs and Programs (TYPES 2019) | Michael Kohlhase Florian Rabe Makarius Wenzel Jesper Cockx Sandra Alves | 2020 | |
Eta-Equivalence in Core Dependent Haskell | Anastasiya Kravchuk-Kirilyuk Antoine Voizard Stephanie Weirich | 2020 |