Login / Signup
Extracting Recursive Programs in Type Theory.
Scott F. Smith
Published in:
AMAST (1991)
Keyphrases
</>
recursive programs
transformation rules
program synthesis
knowledge base
phase transition
metamodel