[Zurück]


Zeitschriftenartikel:

E. Jiresch:
"Realizing Impure Functions in Interaction Nets";
Electronic Communications of the EASST, 38 (2010), S. 1 - 17.



Kurzfassung englisch:
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.

Schlagworte:
interaction nets, side effects, monads, higher-order functions, type systems


Elektronische Version der Publikation:
http://publik.tuwien.ac.at/files/PubDat_206728.pdf


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.