Login / Signup

Beginner's luck: a language for property-based generators.

Leonidas LampropoulosDiane Gallois-WongCatalin HritcuJohn HughesBenjamin C. PierceLi-yao Xia
Published in: POPL (2017)
Keyphrases
  • programming language
  • language learning
  • linguistic knowledge
  • natural language
  • declarative language
  • specification language
  • data sets
  • neural network
  • machine learning
  • scripting language