Maribel Fernández & Ian Mackie (1999):
A Calculus for Interaction Nets.
In: G. Nadathur: Proceedings of the International Conference on Principles and Practice of Declarative Programming (PPDP'99),
Lecture Notes in Computer Science 1702.
Springer-Verlag,
pp. 170–187,
doi:10.1007/10704567_10.
Abubakar Hassan, Ian Mackie & Shinya Sato (2015):
An Implementation Model for Interaction Nets.
In: Proceedings 8th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2014, Vienna, Austria, July 13, 2014.,
pp. 66–80,
doi:10.4204/EPTCS.183.5.
Martin Hofmann (2000):
A Type System for Bounded Space and Functional In-Place Update–Extended Abstract.
In: Gert Smolka: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, Proceedings,
Lecture Notes in Computer Science 1782.
Springer,
pp. 165–179,
doi:10.1007/3-540-46425-5_11.
John Hughes & Lars Pareto (1999):
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming.
In: Didier Rémi & Peter Lee: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, 1999.
ACM,
pp. 70–81,
doi:10.1145/317636.317785.
Yves Lafont (1990):
Interaction Nets.
In: Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL'90).
ACM Press,
pp. 95–108,
doi:10.1145/96709.96718.
Simon L. Peyton Jones (1987):
The Implementation of Functional Programming Languages.
Prentice Hall International.
eptcs@eptcs.org