Type-and-scope safe programs and their proofs

Authors :: Bertot, Y.
Allais, G.X.
Chapman, J.
McBride, C.
McKinna, Jam.
Bertot, Y.
Allais, G.X.
Chapman, J.
McBride, C.
McKinna, Jam.
Source :: Bertot, Y. (ed.), CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France - January 16-17, 2017; 195; 207; 9781450347051; Bertot, Y. (ed.), CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France - January 16-17, 2017~~195~207~~9781450347051~~~~~
Publication Year :: 2017
Abstract: CPP 2017: 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France - January 16-17, 2017<br />Contains fulltext : 168735.pdf (preprint version ) (Open Access)

Database :: OAIster
Journal :: Bertot, Y. (ed.), CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France - January 16-17, 2017; 195; 207; 9781450347051; Bertot, Y. (ed.), CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France - January 16-17, 2017~~195~207~~9781450347051~~~~~
Publication Type :: Electronic Resource
Accession number :: edsoai.on1284117702
Document Type :: Electronic Resource