GitHub - mistupv/rev-erlang: An implementation of the reversible semantics for Erlang.
github.comAn implementation of the reversible semantics for Erlang. - GitHub - mistupv/rev-erlang: An implementation of the reversible semantics for Erlang.
Link to the paper in the README is wrong but can be found it instead: http://personales.upv.es/gvidal/german/lopstr16b/paper.pdf
You must log in or register to comment.
