ACM TOPLAS

ACM: Transactions on Programming Languages and Systems

The TOPLAS Web Page is now located at http://www.acm.org/toplas

Electronic Appendices

Some papers printed in the journal have appendices available by FTP from Princeton or ACM.