Proceedings Eighth Workshop on Intersection Types and Related Systems
Logic in Computer Science
2017-03-31 v2 Programming Languages
Abstract
This volume contains a final and revised selection of papers presented at the Eighth Workshop on Intersection Types and Related Systems (ITRS 2016), held on June 26, 2016 in Porto, in affiliation with FSCD 2016.
Keywords
Cite
@article{arxiv.1702.01874,
title = {Proceedings Eighth Workshop on Intersection Types and Related Systems},
author = {Naoki Kobayashi},
journal= {arXiv preprint arXiv:1702.01874},
year = {2017}
}