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}
}
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

Similar Papers

Loading similar papers…