Verifying higher-order programs with the dijkstra monad release_7oacwxzjufctpcv7x6yz3egobu

by Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits

Published in SIGPLAN notices by Association for Computing Machinery (ACM).

2013   Volume 48, p387

Archived Files and Locations

application/pdf  730.6 kB
file_b7uheiqeibed5ckeih5bjrtzjq
static.aminer.org (aggregator)
web.archive.org (webarchive)
application/pdf  397.0 kB
file_2jhdlb5fjrcnpadhfr2y25fnwi
research-srv.microsoft.com (web)
web.archive.org (webarchive)
application/pdf  356.1 kB
file_va4pb6gt4vdrvim2yszi3rtssy
research.microsoft.com (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
application/pdf  396.7 kB
file_ydozn7hxnnfvljpghxqdqukzwe
web.archive.org (webarchive)
web.archive.org (webarchive)
research.microsoft.com (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2013-06-23
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0362-1340
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 0450b5bc-8a1a-4666-be2a-f95a747aa3f0
API URL: JSON