Dimitris Mostrous, Vasco Thudichum Vasconcelos. Session Typing for a Featherweight Erlang. In Wolfgang De Meuter, Gruia-Catalin Roman, editors, Coordination Models and Languages - 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Volume 6721 of Lecture Notes in Computer Science, pages 95-109, Springer, 2011. [doi]
Abstract is missing.