Skip to content

ICFP'16 Auxiliary Materials
Compare
Choose a tag to compare
@zilinc zilinc released this 15 Jun 04:22
· 2353 commits to master since this release
icfp_2016
f5b6795

This snapshot contains the auxiliary materials for our ICFP'16 paper: Refinement through Restraint: Bringing Down the Cost of Verification

Assets 2
Loading