Work

An Encoding of Interaction Nets in OCaml

Year: 2025

Type: article

Abstract: Interaction nets constitute a visual programming language grounded in graph transformation. Owing to their distinctive properties, they inherently facilitate parallelism in the rewriting step. This paper showcases a simple and concise approach to encoding interaction nets within the programming language OCaml, emphasising correctness guarantees. To achieve this objective, we encode not only the interaction net primitives, but also Lafont's original type system.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.417.1

Authors: Nikolaus Huber, Wang Yi

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W4408832800

FWCI:

Cites: 14

Cited by:

Related to: 10