Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs
| Format: | Elektroniczne E-book |
|---|---|
| Język: | angielski |
| Wydane: |
Association for Computing Machinery (ACM),
1/9/24
|
| Hasła przedmiotowe: | |
| Dostęp online: | Full text available on Research4Life (ACM) |
Podobne zapisy
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 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 2015 Conference on Certified Programs and Proofs
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Proof
od: Williams
od: Williams
Proofs
Proof of Guilt
od: Cairns
od: Cairns
Robot-Proof
od: Aoun
od: Aoun
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
International Journal of Evidence & Proof
Rabbit-proof fence.
od: Garimara, Doris Pilkington
Wydane: (2008)
od: Garimara, Doris Pilkington
Wydane: (2008)
Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering
Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages
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/SIGOPS International Conference on Virtual Execution Environments
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
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming