Collaborated with:N.B.B.Grathwohl F.Henglein U.T.Rasmussen Sebastian Paaske Tørholm
Talks about:transduc (2) nondeterminist (1) determinist (1) kleenex (1) stream (1) compil (1)
Person: Kristoffer Aalund Søholm
DBLP: S=oslash=holm:Kristoffer_Aalund
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.