Bigraphical Nets
Published in Electronic Proceedings in Theoretical Computer Science • Feb 25, 2013
Authors:,,
Maribel Fernández
Ian Mackie
Matthew R. Walker
Abstract
Interaction nets are a graphical model of computation, which has been used to define efficient evaluators for functional calculi, and specifically lambda calculi with patterns. However, the flat structure of interaction nets forces pattern matching and functional behaviour to be encoded at the same ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!