kototama@merv.news to The Bookmarks@merv.news · 2 years ago

Reversible Erlang

0

1

Reversible Erlang

kototama@merv.news to The Bookmarks@merv.news · 2 years ago

0

GitHub - mistupv/rev-erlang: An implementation of the reversible semantics for Erlang.

An 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 # to comment.

Chat