Talks and Poster Presentations (with Proceedings-Entry):
"Extending the Interaction Nets Calculus by Generic Rules";
Talk: Central European Functional programming School (CEFP) - PhD Workshop,
- 2011-06-23; in: "Central European Functional Programming School - PhD Workshop",
We extend the textual calculus for interaction nets by generic
rules and propose constraints to preserve uniform con
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.