Towards a Direct, By-Need Evaluator for Dependently Typed Languages.

David M. Rogers

Published in: CoRR (2015)

Keyphrases

expressive power
language independent
higher order
learning algorithm
search engine
linguistic resources
data sets
web services
database systems
search algorithm
expert systems
object oriented languages
database query languages
fixed order
native language
lambda calculus