3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 3 cited
Use and abuse of instance parameters in the Lean mathematical library
Anne Baanen
The Lean mathematical library mathlib features extensive use of the typeclass pattern for organising mathematical structures, based on Lean's mechanism of instance parameters. Rela…
cs.LO2020★ 1 cited
Combining predicate transformer semantics for effects: a case study in parsing regular languages
Anne Baanen, Wouter Swierstra
This paper describes how to verify a parser for regular expressions in a functional programming language using predicate transformer semantics for a variety of effects. Where our p…