An Encoding of Interaction Nets in OCaml

Nikolaus Huber; Wang Yi

doi:10.4204/EPTCS.417.1

An Encoding of Interaction Nets in OCaml

Nikolaus Huber, Wang Yi

Uppsala University

Research output: Contribution to journal › Conference article › peer-review

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.

Original language	English
Pages (from-to)	1-16
Number of pages	16
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	417
DOIs	https://doi.org/10.4204/EPTCS.417.1
State	Published - 26 Mar 2025
Externally published	Yes
Event	14th and 15th International Workshop on Graph Computation Models, GCM 2023 and 2024 - Enschede, Netherlands Duration: 9 Jul 2024 → …

Access to Document

10.4204/EPTCS.417.1

Cite this

@article{3aa3515ee85b43b8a878c392f21a030c,

title = "An Encoding of Interaction Nets in OCaml",

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{\textquoteright}s original type system.",

author = "Nikolaus Huber and Wang Yi",

note = "Publisher Copyright: {\textcopyright} Huber and Yi.; 14th and 15th International Workshop on Graph Computation Models, GCM 2023 and 2024 ; Conference date: 09-07-2024",

year = "2025",

month = mar,

day = "26",

doi = "10.4204/EPTCS.417.1",

language = "英语",

volume = "417",

pages = "1--16",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - An Encoding of Interaction Nets in OCaml

AU - Huber, Nikolaus

AU - Yi, Wang

N1 - Publisher Copyright: © Huber and Yi.

PY - 2025/3/26

Y1 - 2025/3/26

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/105001918210

U2 - 10.4204/EPTCS.417.1

DO - 10.4204/EPTCS.417.1

M3 - 会议文章

AN - SCOPUS:105001918210

SN - 2075-2180

VL - 417

SP - 1

EP - 16

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 14th and 15th International Workshop on Graph Computation Models, GCM 2023 and 2024

Y2 - 9 July 2024

ER -

An Encoding of Interaction Nets in OCaml

Abstract

Access to Document

Other files and links

Fingerprint

Cite this