Affordable Access

deepdyve-link deepdyve-link
Publisher Website

Gradual Certified Programming in Coq

Authors
Type
Preprint
Publication Date
Submission Date
Identifiers
DOI: 10.1145/2816707.2816710
arXiv ID: 1506.04205
Source
arXiv
External links

Abstract

Statistics

Seen <100 times