Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
An introduction to Core Erlang (2001) (samurajdata.se)
48 points by striking on May 22, 2015 | hide | past | favorite | 2 comments


An interesting use of Core Erlang is LuvvieScript that compiles Erlang code to Javascript.

http://luvv.ie/toolchain.html


Hmm.. so is there any work done on program verification, or process communication analysis, with Core Erlang?




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: