Collaborated with:N.B.B.Grathwohl F.Henglein U.T.Rasmussen Kristoffer Aalund Søholm
Talks about:transduc (2) nondeterminist (1) determinist (1) kleenex (1) stream (1) compil (1)
Person: Sebastian Paaske Tørholm
DBLP: T=oslash=rholm:Sebastian_Paaske
Contributed to:
2016Wrote 1 papers:
- POPL-2016-GrathwohlHRST #compilation #named #nondeterminism #streaming #transducer
- Kleenex: compiling nondeterministic transducers to deterministic streaming transducers (NBBG, FH, UTR, KAS, SPT), pp. 284–297.