in2: A Graphical Interpreter for Interaction Nets

Authors:
Sylvain Lippi
Affiliations:
-
Venue:
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Year:
2002

Citing 5
Cited 12

Linear logic

Theoretical Computer Science
Interaction nets

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
From proof-nets to interaction nets

Proceedings of the workshop on Advances in linear logic
Interaction combinators

Information and Computation
Encoding left reduction in the λ-calculus with interaction nets

Mathematical Structures in Computer Science

From Functional Programs to Interaction Nets via the Rewriting Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
The graphical Krivine machine

Higher-Order and Symbolic Computation
Hard combinators

Electronic Notes in Theoretical Computer Science (ENTCS)
Interaction Nets With Nested Pattern Matching

Electronic Notes in Theoretical Computer Science (ENTCS)
A Tool for Programming with Interaction Nets

Electronic Notes in Theoretical Computer Science (ENTCS)
Universal Hard Interaction for Clockless Computation: Dem Glücklichen schlägt keine Stunde!

Fundamenta Informaticae - Machines, Computations and Universality, Part II
Recursive Functions with Pattern Matching in Interaction Nets

Electronic Notes in Theoretical Computer Science (ENTCS)
Compilation of Interaction Nets

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Programming Language for Interaction Nets

Electronic Notes in Theoretical Computer Science (ENTCS)
Macros for Interaction Nets

Electronic Notes in Theoretical Computer Science (ENTCS)
Realizing monads in interaction nets via generic typed rules

TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
Universal Hard Interaction for Clockless Computation: Dem Glücklichen schlägt keine Stunde!

Fundamenta Informaticae - Machines, Computations and Universality, Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

in2 can be considered as an attractive and didactic tool to approach the interaction net paradigm. But it is also an implementation in C of the core of a real programming language featuring a user-friendly graphical syntax and an efficient garbage collector free execution.