aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorShinya Sato <shinnya.sato@gmail.com>2024-10-30 21:20:44 +0900
committerShinya Sato <shinnya.sato@gmail.com>2024-10-30 21:20:44 +0900
commit28703bd92c53e28ed020c2c24820a14c1c468c57 (patch)
treedf91351a8af729de3ddcd2d9db67d2c55f7739f2
parent7ae916569219cab218fa1e121722c477fd7e201b (diff)
downloadinpla-28703bd92c53e28ed020c2c24820a14c1c468c57.tar.gz
inpla-28703bd92c53e28ed020c2c24820a14c1c468c57.zip
Update README.md
Diffstat (limited to '')
-rw-r--r--README.md12
1 files changed, 8 insertions, 4 deletions
diff --git a/README.md b/README.md
index 0a2a85e..df75ca2 100644
--- a/README.md
+++ b/README.md
@@ -267,14 +267,13 @@ Inpla is a multi-threaded parallel interpreter of interaction nets. Once you wri
[Gentle_introduction_Inpla.md](Gentle_introduction_Inpla.md) explains how to make programs in Inpla step by step. Please look it over!
+
## Updates
See [Changelog.md](Changelog.md) for details.
-
-
## Publications
* [1] Ian Mackie, Shinya Sato,
[*In-place Graph Rewriting with Interaction Nets*](https://arxiv.org/abs/1609.03641), TERMGRAPH 2016, EPTCS 225, pp.15-24, 2016.
@@ -292,11 +291,16 @@ Electronic Communications of the EASST, Volume 73: Graph Computation Models - Se
## Related Work
-* [Train: Translator of a functional language to interaction nets (Inpla notation)](https://github.com/inpla/train)
* [High-order Virtual Machine (HVM)](https://github.com/Kindelia/HVM)
-* [Language, interpreter and compiler for interaction nets](https://github.com/szeiger/interact)
* [HINet: Interaction Nets in Haskell](http://www.cas.mcmaster.ca/~kahl/Haskell/HINet/)
* [A Rust-Based Interaction Combinator Runtime](https://github.com/Gadersd/ic)
+* [Language, interpreter and compiler for interaction nets](https://github.com/szeiger/interact)
+* [Interaction Nets in OCaml](https://github.com/nikolaushuber/ocaml_inets)
+* [ingpu - an experimental GPU-based interaction nets evaluator](https://github.com/euschn/ingpu)
+
+#### My repository
+
+- [Train: Translator of a functional language to interaction nets (Inpla notation)](https://github.com/inpla/train)