Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 2015 Conference on Certified Programs and Proofs

Proof
за авторством: Williams

Proofs

Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming

Proof of Guilt
за авторством: Cairns

Robot-Proof
за авторством: Aoun

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis

Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

International Journal of Evidence & Proof

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell

Proceedings of the 11th ACM SIGPLAN International Symposium on Scala

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Rabbit-proof fence.
за авторством: Garimara, Doris Pilkington
Опубліковано: (2008)

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming

Proceedings of the 12th ACM SIGPLAN international conference on Functional programming

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming

Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control

Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Proceedings of the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments

Proceedings of the 11th international conference on Functional and Logic Programming

Proceedings of the first ACM SIGPLAN international conference on Functional programming

Proceedings of the second ACM SIGPLAN international conference on Functional programming

Proceedings of the third ACM SIGPLAN international conference on Functional programming