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

科研成果: 期刊稿件 › 会议文章 › 同行评审

摘要

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.

源语言	英语
页（从-至）	1-16
页数	16
期刊	Electronic Proceedings in Theoretical Computer Science, EPTCS
卷	417
DOI	https://doi.org/10.4204/EPTCS.417.1
出版状态	已出版 - 26 3月 2025
已对外发布	是
活动	14th and 15th International Workshop on Graph Computation Models, GCM 2023 and 2024 - Enschede, 荷兰期限: 9 7月 2024 → …

访问文件

10.4204/EPTCS.417.1

其它文件与链接

链接到 Scopus 的出版物

引用此

@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

摘要

访问文件

其它文件与链接

学术指纹

引用此