31 citations · 74 across the 15 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.PL2022★ 6 cited
Program Adverbs and Tlön Embeddings
Yao Li, Stephanie Weirich
Free monads (and their variants) have become a popular general-purpose tool for representing the semantics of effectful programs in proof assistants. These data structures support…
cs.PL2022★ 2 cited
Implementing Dependent Types in pi-forall
Stephanie Weirich
These lecture notes describe the design of a minimal dependently-typed language called "pi-forall" and walk through the implementation of its type checker. They are based on lectur…
cs.PL2022
A Dependent Dependency Calculus (Extended Version)
Pritam Choudhury, Harley Eades, Stephanie Weirich
Over twenty years ago, Abadi et al. established the Dependency Core Calculus (DCC) as a general purpose framework for analyzing dependency in typed programming languages. Since the…