43 citations · 69 across the 8 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
A Word Sampler for Well-Typed Functions
Breandan Considine
We describe an exact sampler for a simply-typed, first-order functional programming language. Given an acyclic finite automaton, , it samples a random function uni…
cs.FL2025
Syntax Repair as Language Intersection
Breandan Considine
Syntax repair can be viewed as a question about finite languages: given an invalid string and a grammar, which nearby strings are syntactically valid? We formalize bounded syntax r…