Misplaced Pages

The following pages link to Symposium on Principles of Programming Languages

• (link count
• transclusion count
• sorted list) · See help page for transcluding these entries

Showing 50 items.

• ACM Multimedia (links | edit)
• Conference on Human Factors in Computing Systems (links | edit)
• Special Interest Group on Information Retrieval (links | edit)
• ACM Software System Award (links | edit)
• SIGCHI (links | edit)
• ACM Interactions (links | edit)
• CHI Academy (links | edit)
• SIGACCESS (links | edit)
• Symposium on Principles of Database Systems (links | edit)
• SIGDOC (links | edit)
• ACM Transactions on Mathematical Software (links | edit)
• SIGUCCS (links | edit)
• Symposium on Principles of Distributed Computing (links | edit)
• Symposium on Parallelism in Algorithms and Architectures (links | edit)
• Symposium on Theory of Computing (links | edit)
• Symposium on Principles and Practice of Parallel Programming (links | edit)
• Federated Computing Research Conference (links | edit)
• POPL (redirect page) (links | edit)
  • Dining philosophers problem (links | edit)
  • Loop nest optimization (links | edit)
  • SIGPLAN (links | edit)
  • Vaughan Pratt (links | edit)
  • Twelf (links | edit)
  • Partial order reduction (links | edit)
  • Programming language theory (links | edit)
  • POPLmark challenge (links | edit)
  • CGOL (links | edit)
  • Mads Tofte (links | edit)
  • Haskell (links | edit)
  • Nachum Dershowitz (links | edit)
  • Value numbering (links | edit)
  • User:Brighterorange (links | edit)
  • User:Staunstrup (links | edit)
  • User:Simonmar/Haskell (programming language) (links | edit)
  • User:Ruud Koot/Computer science (links | edit)
  • Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/P39 (links | edit)
  • Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/Publisher8 (links | edit)
  • Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/DOI/10.1125 (links | edit)
  • Draft:Kleene algebra with tests (links | edit)
• List of computer science conference acronyms (links | edit)
• ACM Computing Surveys (links | edit)
• ACM/IEEE Supercomputing Conference (links | edit)
• Symposium on Operating Systems Principles (links | edit)
• International Conference on Architectural Support for Programming Languages and Operating Systems (links | edit)
• Symposium on Principles of programming languages (redirect page) (links | edit)
  • Linear temporal logic (links | edit)
• Joint Conference on Digital Libraries (links | edit)
• Ken Kennedy Award (links | edit)
• Symposium on Computational Geometry (links | edit)
• SPLASH (conference) (links | edit)
• XRDS (magazine) (links | edit)
• International Symposium on Memory Management (links | edit)
• Conference on Information and Knowledge Management (links | edit)
• International Symposium on Microarchitecture (links | edit)
• ACM Symposium on Principles of Programming Languages (redirect page) (links | edit)
  • Galois connection (links | edit)
• ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (redirect page) (links | edit)
  • Constraint programming (links | edit)
  • Constraint logic programming (links | edit)
  • CTL* (links | edit)
• Principles of Programming Languages (redirect page) (links | edit)
  • Benjamin C. Pierce (links | edit)
  • Matthias Felleisen (links | edit)
  • International Conference on Functional Programming (links | edit)
  • Delimited continuation (links | edit)
  • Normalisation by evaluation (links | edit)
  • User:Ruud Koot/Computer science (links | edit)
  • Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/P48 (links | edit)
  • Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/Publisher8 (links | edit)
  • Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/DOI/10.1125 (links | edit)
• ACM SIGWEB (links | edit)
• Programming Languages meets Program Verification (redirect page) (links | edit)
• PLPV (redirect page) (links | edit)
• Distributed Event-Based Systems (links | edit)
• ACM Symposium on User Interface Software and Technology (links | edit)
• International Symposium on Symbolic and Algebraic Computation (links | edit)
• SIGCSE Technical Symposium on Computer Science Education (links | edit)
• ACM Eugene L. Lawler Award (links | edit)
• ACM/IEEE Virtual Reality International Conference (links | edit)
• Penny Crane Award for Distinguished Service (links | edit)
• Symposium on Discrete Algorithms (links | edit)
• Computers in Entertainment (links | edit)
• ACM Transactions on Algorithms (links | edit)
• ACM SIGLOG (links | edit)
• Genetic and Evolutionary Computation Conference (links | edit)