/refinements-popl-16

Artifact of "Example-Directed Synthesis: A Type-Theoretic Implementation" by Frankle, Osera, Walker, and Zdancewic.

Primary LanguageF#

Stargazers