The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Continue readingThe refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Continue reading