1. M. Fernández & I. 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.
  2. A. Hassan, I. Mackie & S. Sato (2009): Compilation of Interaction Nets. Electr. Notes Theor. Comput. Sci. 253(4), pp. 73–90, doi:10.1016/j.entcs.2009.10.018.
  3. Abubakar Hassan, Ian Mackie & Shinya Sato (2010): A lightweight abstract machine for interaction nets. ECEASST 29. Available at
  4. S.L. Peyton Jones (1987): The Implementation of Functional Programming Languages. Prentice-Hall International.
  5. Y. 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.
  6. P. J. Landin (1964): The mechanical evaluation of expressions. Computer Journal 6, pp. 308–320, doi:10.1093/comjnl/6.4.308.
  7. S. Lippi (2002): in^2 : A Graphical Interpreter for Interaction Nets. In: Sophie Tison: RTA, Lecture Notes in Computer Science 2378. Springer, pp. 380–386, doi:10.1007/3-540-45610-4_29.
  8. I. Mackie (1998): YALE: Yet Another Lambda Evaluator Based on Interaction Nets. In: Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming (ICFP'98). ACM Press, pp. 117–128, doi:10.1145/291251.289434.
  9. J. Sousa Pinto (2000): Sequential and Concurrent Abstract Machines for Interaction Nets. In: Jerzy Tiuryn: Proceedings of Foundations of Software Science and Computation Structures (FOSSACS), Lecture Notes in Computer Science 1784. Springer-Verlag, pp. 267–282, doi:10.1007/3-540-46432-8_18.

Comments and questions to:
For website issues: