Published July 3, 2024 | Version v1.0.0
Software Open

An Encoding of Interaction Nets in OCaml - Software Artifact

Creators

  • 1. Uppsala University

Description

Interaction nets are a visual programming language built upon graph rewriting. This project holds the code for example nets encoded in the OCaml programming language.

This artifact is a companion to the following paper:

An Encoding of Interaction Nets in OCaml, Nikolaus Huber & Wang Yi (GCM 2024)

Files

nikolaushuber/ocaml_inets-v1.0.0.zip

Files (33.9 kB)

Name Size Download all
md5:86e0b5576bf63a0190a4563b872db4d5
33.9 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/nikolaushuber/ocaml_inets/tree/v1.0.0 (URL)