1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2025
A Coq Formalization of Unification Modulo Exclusive-Or
Yichi Xu, Daniel J. Dougherty, Rose Bohrer
Equational Unification is a critical problem in many areas such as automated theorem proving and security protocol analysis. In this paper, we focus on XOR-Unification, that is, un…
cs.PL2024★ 1 cited
Programming Language Case Studies Can Be Deep
Rose Bohrer
In the pedagogy of programming languages, one well-known course structure is to tour multiple languages as a means of touring paradigms. This tour-of-paradigms approach has long re…