Realizing Impure Functions in Interaction Nets

Eugen Jiresch

Abstract


We propose and illustrate first steps towards an extension of
interaction nets based on monads to handle functions with side effects
(e.g., I/O, exceptions). We define three monads for common types of side effects
and show their correctness by proving the monad laws.

Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.38.637

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.38.637.647

Hosted By Universit├Ątsbibliothek TU Berlin.