A simple parallel implementation of interaction nets in Haskell

MaRDI QIDQ5013889zbMATH OpenFDO

Authors Wolfram Kahl

Publication date 3 December 2021

Full work available at URL https://arxiv.org/abs/1504.02603, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2014.3

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1512623
• scientific article; zbMATH DE number 1722717
• Towards a GPU-based implementation of interaction nets
• scientific article; zbMATH DE number 839383
• Parallel and Distributed Haskells

Cites work

• scientific article; zbMATH DE number 1722717 (Why is no real title available?)
• scientific article; zbMATH DE number 2090088 (Why is no real title available?)
• scientific article; zbMATH DE number 234035 (Why is no real title available?)
• Compilation of interaction nets
• From functional programs to interaction nets via the rewriting calculus
• Implementing term rewriting by jungle evaluation
• PELCR: parallel environment for optimal lambda-calculus reduction
• PORGY: strategy-driven interactive transformation of graphs
• Relational Methods in Computer Science
• Synthesizing and verifying multicore parallelism in categories of nested code graphs
• Towards a GPU-based implementation of interaction nets
• Towards a programming language for interaction nets
• YALE: yet another lambda evaluator based on interaction nets

Cited in

(5)

• Developing a high-performance web server in Concurrent Haskell
• scientific article; zbMATH DE number 1722717 (Why is no real title available?)
• Towards a GPU-based implementation of interaction nets
• Parallelising large irregular programs: An experience with Naira
• An encoding of interaction nets in OCaml

Describes a project that uses

Uses Software

• MPINE
• PELCR
• PORGY
• Haskell

This page was built for publication: A simple parallel implementation of interaction nets in Haskell

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5013889)