Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
| Formáid: | Leictreonach Ríomhleabhar |
|---|---|
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Association for Computing Machinery (ACM),
1/17/22
|
| Ábhair: | |
| Rochtain ar líne: | Full text available on Research4Life (ACM) |
Míreanna comhchosúla
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 8th 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
de réir: Williams
de réir: 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
de réir: Cairns
de réir: Cairns
Robot-Proof
de réir: Aoun
de réir: 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.
de réir: Garimara, Doris Pilkington
Foilsithe / Cruthaithe: (2008)
de réir: Garimara, Doris Pilkington
Foilsithe / Cruthaithe: (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