Type Error Slicing in Implicitly Typed Higher-Order Languages.
Christian HaackJoe B. WellsPublished in: ESOP (2003)
Keyphrases
- higher order
- lambda calculus
- database query languages
- type checking
- lower order
- high order
- natural images
- pairwise
- error rate
- fixed order
- expressive power
- case study
- low order
- conditional random fields
- language independent
- neural network
- prediction error
- text classification
- markov random field
- hidden markov models
- genetic algorithm