![]() | Up a level |
Dal Lago, Ugo; Schöpp, Ulrich (2016): Computation by interaction for space-bounded functional programming. In: Information and Computation, Vol. 248: pp. 150-194
Schöpp, Ulrich (2014): On the Relation of Interaction Semantics to Continuations and Defunctionalization. In: Logical Methods in Computer Science, Vol. 10, No. 4, 10 [PDF, 618kB]