A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts.

S. Doaitse Swierstra Marcos Viera Atze Dijkstra

Published in: CoRR (2016)

Keyphrases

type checking
natural language
language learning
expert systems
context dependent
lazy learning
data sets
artificial intelligence
image sequences
language processing
specification language
database query languages
averaged one dependence estimators