You are about to access our book library "Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings (Lecture Notes in Computer Science Book 8129) full version" .