Support Elixir Outlaws

Links:

• Typing the Wild in Erlang — Developing a static type system suitable for Erlang has been of ongoing interest for almost two decades now.
• Understanding Formal Specifications through Good Examples — Formal specifications of software applications are hard to understand, even for domain experts. Because a formal spec- ification is abstract, reading it does not immediately convey the expected behaviour of the software.