Pages that link to "ACM Transactions on Programming Languages and Systems"

The following pages link to ACM Transactions on Programming Languages and Systems:

Showing 50 items.

• Automated theorem proving ‎ (links)
• Association for Computing Machinery ‎ (links)
• Mathai Joseph ‎ (links)
• IEEE 754-1985 ‎ (links)
• Prolog ‎ (links)
• Reference counting ‎ (links)
• Serialization ‎ (links)
• ACM Transactions on Programming Languages and Systems (transclusion) ‎ (links)
• Transactions on Programming Languages and Systems (redirect page) ‎ (links)
  • Susan L. Graham ‎ (links)
• TOPLAS (redirect page) ‎ (links)
• ACM TOPLAS (redirect page) ‎ (links)
• A.C.M. Transactions on Programming Languages and Systems (redirect page) ‎ (links)
• Association for Computing Machinery Transactions on Programming Languages and Systems (redirect page) ‎ (links)
• ACM Trans. on Program. Lang. and Systems (redirect page) ‎ (links)
• Trans. on Program. Lang. and Systems (redirect page) ‎ (links)
• Trans. on Program. Lang. and Sys. (redirect page) ‎ (links)
• ACM Trans. on Program. Lang. and Sys. (redirect page) ‎ (links)
• ACM Trans. on Prog. Lang. and Sys. (redirect page) ‎ (links)
• Trans. on Prog. Lang. and Sys. (redirect page) ‎ (links)
• Trans. on Prog. Lang. and Systems (redirect page) ‎ (links)
• ACM Trans. on Prog. Lang. and Systems (redirect page) ‎ (links)
• Berkeley Yacc ‎ (links)
• Dexter Kozen ‎ (links)
• European Symposium on Programming ‎ (links)
• List of computer science journals ‎ (links)
• ACM Trans. Program. Lang. Syst. (redirect page) ‎ (links)
  • English Wikipedia @ Freddythechick:WikiProject Academic Journals/Journals cited by Wikipedia/DOI/10.1125 ‎ (links)
  • English Wikipedia @ Freddythechick:WikiProject Academic Journals/Journals cited by Wikipedia/A9 ‎ (links)
  • English Wikipedia @ Freddythechick:WikiProject Academic Journals/Journals cited by Wikipedia/Publisher7 ‎ (links)
• ACM Transactions on Programming Languages and Systems (TOPLAS) (redirect page) ‎ (links)
  • English Wikipedia @ Freddythechick:Articles for deletion/Nemerle ‎ (links)
• Anti-unification ‎ (links)
• Douglas McIlroy ‎ (links)
• X87 ‎ (links)
• A.C.M. Transactions on Programming Languages & Systems (redirect page) ‎ (links)
• ACM Trans. on Prog. Lang. & Sys. (redirect page) ‎ (links)
• ACM Trans. on Prog. Lang. & Systems (redirect page) ‎ (links)
• ACM Trans. on Program. Lang. & Sys. (redirect page) ‎ (links)
• ACM Trans. on Program. Lang. & Systems (redirect page) ‎ (links)
• ACM Transactions on Programming Languages & Systems (TOPLAS) (redirect page) ‎ (links)
• Association for Computing Machinery Transactions on Programming Languages & Systems (redirect page) ‎ (links)
• Trans. on Prog. Lang. & Sys. (redirect page) ‎ (links)
• Trans. on Prog. Lang. & Systems (redirect page) ‎ (links)
• Trans. on Program. Lang. & Sys. (redirect page) ‎ (links)
• Trans. on Program. Lang. & Systems (redirect page) ‎ (links)
• Transactions on Programming Languages & Systems (redirect page) ‎ (links)
• Computation tree logic ‎ (links)
• Resolution (logic) ‎ (links)
• Bidirectional transformation ‎ (links)
• ACM Transactions on Programming Languages & Systems (redirect page) ‎ (links)
• List of programming language researchers ‎ (links)
• Liskov substitution principle ‎ (links)
• Upwards exposed uses ‎ (links)
• MultiLisp ‎ (links)