refinements-popl-16
F#
★ 0
updated 10y ago
⑂ fork
Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.
No plain-English explanation yet — one is being written right now. Check back in a minute.