MPINE

swMATH20842MaRDI QIDQ32656FDOQ32656

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=718719

Cited In (7)

• PELCR
• 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