[Back]


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.