Sign in

Resourceful Program Synthesis from Graded Linear Types.

Jack HughesDominic Orchard
Published in: LOPSTR (2020)
Keyphrases
  • program synthesis
  • databases
  • neural network
  • artificial intelligence
  • pairwise
  • linear systems