文章基本信息

标题：Realizing Impure Functions in Interaction Nets
本地全文：下载
作者：Eugen Jiresch
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2011
卷号：38
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：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.