You are about to access our book library "Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings (Lecture Notes in Computer Science Book 10017) full version" .