ACM Transactions on Programming Languages and Systems (TOPLAS)2600 (ISSN : 0164-0925, EISSN : 1558-4593)Published by ACMhttp://toplas.acm.orgSHERPA/RoMEOVoir les documents associés Exporter Export XML Export RDF