profile
viewpoint

jfrankle/refinements-popl-16

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

https://github.com/jfrankle/refinements-popl-16

jfrankle

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

jfrankle
psosera