Automatically generating the dynamic semantics of gradually typed languages.

Matteo Cimini Jeremy G. Siek

Published in: POPL (2017)

Keyphrases

automatically generating
automatically generated
dynamic environments
expressive power
neural network
higher order
logic programming
knowledge representation
natural language processing
n gram
language independent
formal semantics
dynamic aspects
highly expressive