Refinement through restraint: bringing down the cost of verification

Article Details
Title:	Refinement through restraint: bringing down the cost of verification
Article URLs:	https://doi.org/10.1145/2951913.2951940
Alternative Article URLs:
Authors:	Liam O'Connor	UNSW Data61
	Zilin Chen	Data61 UNSW
	Christine Rizkallah	University of Pennsylvania
	Sidney Amani	Data61 UNSW
	Japheth Lim	Data61
	Toby C. Murray	University of Melbourne
	Yutaka Nagashima	Data61
	Thomas Sewell	Data61 UNSW
	Gerwin Klein	Data61 UNSW
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://ssrg.nicta.com.au/projects/TS/cogent.pml
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/icfp/OConnorCRALMNSK16
Author Comments:

ACM SIGPLAN International Conference on Functional Programming, ICFP 2016