/GoC-Erlang

Primary LanguageErlangApache License 2.0Apache-2.0

goc_erlang

An work in progress implementation of the paper "The Geometry of Causality" in Erlang.

References

Simon Castellan, Pierre Clairambault. The Geometry of Causality: Multi-Token Geometry of Interaction and its Causal Unfolding. Proceedings of the ACM on Programming Languages, In press.?hal-03286443v2?

Build

$ rebar3 compile