9 citations · 19 across the 5 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SD2020★ 2 cited
A Computational Evaluation of Musical Pattern Discovery Algorithms
Iris Ren, Anja Volk, Wouter Swierstra +1
Pattern discovery algorithms in the music domain aim to find meaningful components in musical compositions. Over the years, although many algorithms have been developed for pattern…
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…