ConferencePaper SCOPUS
DLS 2015 - Proceedings of the 11th Symposium on Dynamic Languages  (2015)

Gradual certified programming in Coq

Tanter É.; Tabareau, N

Más información

Título según SCOPUS: Gradual certified programming in Coq
Título de la Revista: DLS 2015 - Proceedings of the 11th Symposium on Dynamic Languages
Editorial: Association for Computing Machinery, Inc
Fecha de publicación: 2015
Página de inicio: 26
Página final: 40
Idioma: English
DOI:

10.1145/2816707.2816710
Notas: SCOPUS