Example-directed synthesis: A type-theoretic interpretation

Jonathan Frankle, Peter Michael Osera, David Walker, Steve Zdancewic

Research output: Contribution to journalArticlepeer-review

21 Scopus citations

Fingerprint

Dive into the research topics of 'Example-directed synthesis: A type-theoretic interpretation'. Together they form a unique fingerprint.

Engineering & Materials Science