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

S. Doaitse Swierstra Marcos Viera Atze Dijkstra

Published in: IFL (2016)

Keyphrases

type checking
lazy learning
strongly typed
natural language
programming language
averaged one dependence estimators
language learning
object oriented languages
databases
real world
website
case study
hidden markov models
description logics
inductive learning
multiple types