Realizing impure functions in interaction nets

Authors:
Eugen Jiresch
Affiliations:
Institute of Computer Languages, Vienna University of Technology
Venue:
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Year:
2010

Citing 3
Cited 1

Interaction nets

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
How to declare an imperative

ACM Computing Surveys (CSUR)
Type assignment and termination of interaction nets

Mathematical Structures in Computer Science

Realizing monads in interaction nets via generic typed rules

TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose first steps towards an extension of interaction nets for handling functions with side effects via monads.