MPINE
From MaRDI portal
Cited in
(7)- From functional programs to interaction nets via the rewriting calculus
- Interaction nets with nested pattern matching
- PELCR
- A simple parallel implementation of interaction nets in Haskell
- Recursive Functions with Pattern Matching in Interaction Nets
- Compilation of interaction nets
- PELCR: parallel environment for optimal lambda-calculus reduction
This page was built for software: MPINE
