Talks and Poster Presentations (with Proceedings-Entry):
E. Jiresch:
"Extending the Interaction Nets Calculus by Generic Rules";
Talk: Central European Functional programming School (CEFP) - PhD Workshop,
Budapest;
06-18-2011
- 06-23-2011; in: "Central European Functional Programming School - PhD Workshop",
(2011),
3 pages.
English abstract:
We extend the textual calculus for interaction nets by generic
rules and propose constraints to preserve uniform con
uence.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_206696.pdf
Created from the Publication Database of the Vienna University of Technology.