MPINE
From MaRDI portal
Software:32656
swMATH20842MaRDI QIDQ32656FDOQ32656
Author name not available (Why is that?)
Cited In (6)
- Recursive Functions with Pattern Matching in Interaction Nets
- From functional programs to interaction nets via the rewriting calculus
- A simple parallel implementation of interaction nets in Haskell
- Interaction nets with nested pattern matching
- Compilation of interaction nets
- PELCR: parallel environment for optimal lambda-calculus reduction
This page was built for software: MPINE
