Programming languages and systems: 14th asian symposium, aplas 2016, hanoi, vietnam, november 21 - 23, 2016, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319479576
Date de publication :
9 oct. 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016. The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi;