bibliographic resource 798618 [br/798618]
https://w3id.org/oc/corpus/br/798618
is a
document
periodical journal
title
ACM Transactions on Programming Languages and Systems - ACM Trans. Program. Lang. Syst. - TOPLAS
identifier
https://w3id.org/oc/corpus/id/1303835