Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Cubical synthetic homotopy theory
Published in Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
Get full text
Conference Proceeding
FreeSpec: specifying, verifying, and executing impure computations in Coq
Published in Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
(20.01.2020)
Get full text
Conference Proceeding
A mechanized formalization of GraphQL
Published in Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
Get full text
Conference Proceeding