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