1. Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet & Bruno Pinaud (2011): PORGY: Strategy-driven interactive transformation of graphs. In: Rachid Echahed: TERMGRAPH 2011, International Workshop on Term Graph Rewriting, Electronic Proceedings in Computer Science 48, pp. 54–68, doi:10.4204/EPTCS.48.7.
  2. Christopher K. Anand & Wolfram Kahl (2009): Synthesizing and Verifying Multicore Parallelism in Categories of Nested Code Graphs. In: Michael Alexander & William Gardner: Process Algebra for Parallel and Distributed Processing, chapter 1, CRC Computational Science Series 2. Chapman & Hall, pp. 3–45, doi:10.1201/9781420064872.pt1.
  3. José Bacelar Almeida, Jorge Sousa Pinto & Miguel Vilaça (2008): A Tool for Programming with Interaction Nets. ENTCS 219, pp. 83–96, doi:10.1016/j.entcs.2008.10.036. Proc. Eighth International Workshop on Rule Based Programming (RULE 2007).
  4. Richard Banach & George A. Papadopoulos (1997): A Study of Two Graph Rewriting Formalisms: Interaction Nets and MONSTR. Journal of Programming Languages 5, pp. 210–231.
  5. Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie & François-Régis Sinot (2007): From Functional Programs to Interaction Nets via the Rewriting Calculus. ENTCS 174(10), pp. 39–56, doi:10.1016/j.entcs.2007.02.046. Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006).
  6. Levent Erkök & John Launchbury (2002): A recursive do for Haskell. In: Manuel Chakravarty: Proc.Haskell Workshop 2002. ACM Press, pp. 29–37, doi:10.1145/581690.581693.
  7. Marc de Falco (2006): Interaction Nets Laboratory. Available at
  8. Abubakar Hassan & Eugen Jiresch (2012): Interaction Nets Programming Language.,, last accessed 2015-02-06. (Source code for the ``Inets'' system.).
  9. Abubakar Hassan, Eugen Jiresch & Shinya Sato (2009): An Implementation of Nested Pattern Matching in Interaction Nets. In: Ian Mackie & Anamaria Martins Moreira: Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009., EPTCS 21, pp. 13–25, doi:10.4204/EPTCS.21.2.
  10. Abubakar Hassan, Ian Mackie & Shinya Sato (2009): Compilation of Interaction Nets. ENTCS 253(4), pp. 73–90, doi:10.1016/j.entcs.2009.10.018. Proc. TERMGRAPH 2009.
  11. Abubakar Hassan, Ian Mackie & Shinya Sato (2010): A lightweight abstract machine for interaction nets. In: Jochen Küster & Emilio Tuosto: Proc. GT-VMT 2010, ECEASST 29, pp. 9.1–9.12. Available at
  12. Berthold Hoffmann & Detlef Plump (1991): Implementing Term Rewriting by Jungle Evaluation. Informatique théorique et applications/Theoretical Informatics and Applications 25(5), pp. 445–472.
  13. Eugen Jiresch (2014): Towards a GPU-based Implementation of Interaction Nets. In: Benedikt Löwe & Glynn Winskel: 8th International Workshop on Developments in Computational Models, DCM 2012, EPTCS 143, pp. 41–53, doi:10.4204/EPTCS.143.4.
  14. Wolfram Kahl, Christopher Kumar Anand & Jacques Carette (2006): Control-Flow Semantics for Assembly-Level Data-Flow Graphs. In: Wendy McCaull, Michael Winter & Ivo Düntsch: 8th Intl.Seminar on Relational Methods in Computer Science, RelMiCS 8, Feb.2005, LNCS 3929. Springer, pp. 147–160, doi:10.1007/11734673_12.
  15. J.R. Kennaway, J.W. Klop, M.R. Sleep & F.J. de Vries (1993): An Introduction to Term Graph Rewriting. In: M.R. Sleep, M.J. Plasmeijer & M.C.J.D. van Eekelen: Term Graph Rewriting: Theory and Practice, chapter 1. Wiley, pp. 1–14.
  16. Yves Lafont (1990): Interaction Nets. In: 17th POPL. ACM, New York, NY, USA, pp. 95–108, doi:10.1145/96709.96718.
  17. Sylvain Lippi (2002): in^2: A Graphical Interpreter for Interaction Nets. In: Sophie Tison: RTA 2002, LNCS 2378. Springer, Berlin Heidelberg, pp. 380–385, doi:10.1007/3-540-45610-4_29.
  18. Ian Mackie (1998): YALE: Yet Another Lambda Evaluator Based on Interaction Nets. In: Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, ICFP '98. ACM, New York, NY, USA, pp. 117–128, doi:10.1145/289423.289434.
  19. Ian Mackie (2005): Towards a Programming Language for Interaction Nets. ENTCS 127(5), pp. 133–151, doi:10.1016/j.entcs.2005.02.015. Proc. TERMGRAPH 2004.
  20. Jorge Sousa Pinto (2001): Parallel Evaluation of Interaction Nets with MPINE. In: Aart Middeldorp: Rewriting Techniques and Applications, RTA 2001, LNCS 2051. Springer, pp. 353–356, doi:10.1007/3-540-45127-7_26.
  21. Simon L. Peyton Jones, Andrew Gordon & Sigbjorn Finne (1996): Concurrent Haskell. In: 23rd POPL. acm press, pp. 295–308, doi:10.1145/237721.237794.
  22. Marco Pedicini & Francesco Quaglia (2007): PELCR: Parallel Environment for Optimal Lambda-calculus Reduction. ACM Trans.Computational Logic 8(3), doi:10.1145/1243996.1243997.

Comments and questions to:
For website issues: