Static Type Inference in a Dynamically Typed Language.
Alexander AikenBrian R. MurphyPublished in: POPL (1991)
Keyphrases
- strongly typed
- lambda calculus
- type checking
- programming language
- language learning
- databases
- database query languages
- bayesian networks
- probabilistic inference
- belief networks
- information retrieval
- artificial intelligence
- natural language
- higher order
- bayesian inference
- bayesian model
- fixed order
- case study
- general purpose
- database
- learning algorithm
- relational databases
- context dependent
- inference process
- english language
- genetic algorithm
- database systems
- high level