Stephanie Weirich

机构：University of Pennsylvania, Philadelphia University · ORCID：0000-0002-6756-9168

发表论文 186 篇 · 总被引 4074 次 · h-index 33

代表论文

• A graded dependent type system with a usage-aware semantics (2021 · Proceedings of the ACM on Programming Languages · 被引 33)
• Ready, Set , Verify! Applying hs-to-coq to real-world Haskell code (2021 · Journal of Functional Programming · 被引 10)
• A Dependent Dependency Calculus (2022 · Lecture notes in computer science · 被引 9)
• An existential crisis resolved: type inference for first-class existential types (2021 · Proceedings of the ACM on Programming Languages · 被引 8)
• Program adverbs and Tlön embeddings (2022 · Proceedings of the ACM on Programming Languages · 被引 6)
• Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs (2024 · Proceedings of the ACM on Programming Languages · 被引 4)