Highly Influenced

# Memoryful geometry of interaction II: recursion and adequacy

@inproceedings{Muroya2016MemoryfulGO, title={Memoryful geometry of interaction II: recursion and adequacy}, author={Koko Muroya and Naohiko Hoshino and Ichiro Hasuo}, booktitle={POPL}, year={2016} }

- Published 2016 in POPL
DOI:10.1145/2837614.2837672

A general framework of Memoryful Geometry of Interaction (mGoI) is introduced recently by the authors. It provides a sound translation of lambda-terms (on the high-level) to their realizations by stream transducers (on the low-level), where the internal states of the latter (called memories) are exploited for accommodating algebraic effects of Plotkin and Power. The translation is compositional, hence ``denotational,'' where transducers are inductively composed using an adaptation of Barbosa's… CONTINUE READING