Imagem da capa

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

Detalhes bibliográficos
Formato:	Recurso Electrónico livro electrónico
Idioma:	inglês
Publicado em:	Association for Computing Machinery (ACM), 1/14/19
Assuntos:	Conference papers and proceedings.
Acesso em linha:	Full text available on Research4Life (ACM)

Registos relacionados

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 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 13th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 2015 Conference on Certified Programs and Proofs

Proof
Por: Williams

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming

Proof of Guilt
Por: Cairns

Robot-Proof
Por: Aoun

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

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

International Journal of Evidence & Proof

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

Rabbit-proof fence.
Por: Garimara, Doris Pilkington
Publicado em: (2008)

Proceedings of the 8th ACM SIGPLAN International Symposium on Scala

Proceedings of the 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming

Proceedings of the 8th ACM SIGPLAN workshop on ERLANG

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 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

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