3 ms·An introduction to Core Erlang (2001)48 points by striking 11y agobandris 11y agoAn interesting use of Core Erlang is LuvvieScript that compiles Erlang code to Javascript. http://luvv.ie/toolchain.html http://luvv.ie/toolchain.htmlxjia 11y agoHmm.. so is there any work done on program verification, or process communication analysis, with Core Erlang?