New! You can now keep track of new articles from ACM Transactions on Programming Languages and Systems (TOPLAS) on your personalized homepage!

ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 8 Issue 1