1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2023★ 1 cited
A Modular Approach to Metatheoretic Reasoning for Extensible Languages
Dawn Michaelson, Gopalan Nadathur, Eric Van Wyk
This paper concerns the development of metatheory for extensible languages. It uses as its starting point a view that programming languages tailored to specific application domains…
cs.LO2017
Automating the Proofs of Strengthening Lemmas in the Abella Proof Assistant
Dawn Michaelson
In logical reasoning, it is often the case that only some of a collection of assumptions are needed to reach a conclusion. A strengthening lemma is an assertion that a given conclu…