ACM Transactions on Programming Languages and Systems
[fr] ACM Transactions on Programming Languages and Systems