Kleenex: compiling nondeterministic transducers to deterministic streaming transducers.

Niels Bjrn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Sholm, Sebastian Paaske Trholm

Browse the full POPL paper archive.