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.
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.
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).
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.
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).
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.
Abubakar Hassan & Eugen Jiresch (2012):
Interaction Nets Programming Language.
https://gna.org/projects/inets/, https://gna.org/svn/?group=inets, last accessed 2015-02-06.
(Source code for the ``Inets'' system.).
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.
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.
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 http://journal.ub.tu-berlin.de/eceasst/article/view/416.
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.
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.
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.
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.
Yves Lafont (1990):
Interaction Nets.
In: 17th POPL.
ACM,
New York, NY, USA,
pp. 95–108,
doi:10.1145/96709.96718.
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.
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.
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.
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.
Simon L. Peyton Jones, Andrew Gordon & Sigbjorn Finne (1996):
Concurrent Haskell.
In: 23rd POPL.
acm press,
pp. 295–308,
doi:10.1145/237721.237794.
Marco Pedicini & Francesco Quaglia (2007):
PELCR: Parallel Environment for Optimal Lambda-calculus Reduction.
ACM Trans.Computational Logic 8(3),
doi:10.1145/1243996.1243997.
eptcs@eptcs.org