Собственно на сайте самого 6-го ACM SIGPLAN Erlang Workshop выложены презентации и бумаги докладчиков (про типизацию я уже ссылку постил здесь), есть довольно интересные на мой взгляд вещи.