A Simple Parallel Implementation of Interaction Nets in Haskell

Wolfram Kahl
(McMaster University)

Due to their "inherent parallelism", interaction nets have since their introduction been considered as an attractive implementation mechanism for functional programming. We show that a simple highly-concurrent implementation in Haskell can achieve promising speed-ups on multiple cores.

In Ugo Dal Lago and Russ Harmer: Proceedings Tenth International Workshop on Developments in Computational Models (DCM 2014), Vienna, Austria, 13th July 2014, Electronic Proceedings in Theoretical Computer Science 179, pp. 33–47.
Published: 10th April 2015.

ArXived at: https://dx.doi.org/10.4204/EPTCS.179.3 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org