Low-level language implementation for interaction nets
http://sro.sussex.ac.uk/id/eprint/54469/1/Sato%2C_Shinya.pdf
Low-level language implementation for interaction nets 10 comments
@neauoire a friend (github.com/xhtmlboi) told me, since 7years, "trust me, xavier, interaction net is the future of proof engineering" @bellinitte the graph is just the representation of (r | Add(Z, r) = S(w), Add(Z, w) = S(Z) ) What are you asking me exactly? @screwtape here's two links that are not papers and make things a bit easier to understand. I'm writing a guide of my own right now which should be like "tell me like I'm five" |
@neauoire whow, this is huge !