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

Showing 50 items.

• Automated theorem proving (links | edit)
• Association for Computing Machinery (links | edit)
• IEEE 754-1985 (links | edit)
• Prolog (links | edit)
• Reference counting (links | edit)
• Serialization (links | edit)
• Optimizing compiler (links | edit)
• Prototype-based programming (links | edit)
• Douglas McIlroy (links | edit)
• Liskov substitution principle (links | edit)
• IEEE 754 (links | edit)
• Syntactic methods (links | edit)
• Computation tree logic (links | edit)
• MultiLisp (links | edit)
• SIGPLAN (links | edit)
• Constraint Handling Rules (links | edit)
• Berkeley Yacc (links | edit)
• X87 (links | edit)
• Resolution (logic) (links | edit)
• Programming language theory (links | edit)
• International Conference on Functional Programming (links | edit)
• Lowest common ancestor (links | edit)
• Coinduction (links | edit)
• CLP(R) (links | edit)
• Dexter Kozen (links | edit)
• List of programming language researchers (links | edit)
• Greedy coloring (links | edit)
• Polymorphic recursion (links | edit)
• Bidirectional transformation (links | edit)
• Transactions on Programming Languages and Systems (redirect page) (links | edit)
  • Susan L. Graham (links | edit)
• TOPLAS (redirect page) (links | edit)
  • Predicate transformer semantics (links | edit)
  • User:Gurch/Redlinks/T2 (links | edit)
  • User:Ruud Koot/Computer science (links | edit)
  • User:Rich Farmbrough/temp153 (links | edit)
  • Wikipedia:List of encyclopedia topics/(14) (links | edit)
• ACM TOPLAS (redirect page) (links | edit)
  • Dead-code elimination (links | edit)
• A.C.M. Transactions on Programming Languages and Systems (redirect page) (links | edit)
• Association for Computing Machinery Transactions on Programming Languages and Systems (redirect page) (links | edit)
• ACM Trans. on Program. Lang. and Systems (redirect page) (links | edit)
• Trans. on Program. Lang. and Systems (redirect page) (links | edit)
• Trans. on Program. Lang. and Sys. (redirect page) (links | edit)
• ACM Trans. on Program. Lang. and Sys. (redirect page) (links | edit)
• ACM Trans. on Prog. Lang. and Sys. (redirect page) (links | edit)
  • User talk:Tokenzero/Archive 1 (links | edit)
• Trans. on Prog. Lang. and Sys. (redirect page) (links | edit)
  • User talk:Tokenzero/Archive 1 (links | edit)
• Trans. on Prog. Lang. and Systems (redirect page) (links | edit)
• ACM Trans. on Prog. Lang. and Systems (redirect page) (links | edit)
• ACM Trans. Program. Lang. Syst. (redirect page) (links | edit)
  • Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/A9 (links | edit)
  • Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/Publisher8 (links | edit)
  • Wikipedia:WikiProject Academic Journals/Journals cited by Wikipedia/DOI/10.1125 (links | edit)
• European Symposium on Programming (links | edit)
• Anti-unification (links | edit)
• Mathai Joseph (links | edit)
• Tobias Nipkow (links | edit)
• ACM Transactions on Programming Languages and Systems (TOPLAS) (redirect page) (links | edit)
  • Wikipedia:Articles for deletion/Log/2011 February 5 (links | edit)
  • Wikipedia:Articles for deletion/Nemerle (links | edit)
• List of computer science journals (links | edit)
• ACM Trans Program Lang Syst (redirect page) (links | edit)