Login / Signup
Typed Higher-Order Narrowing without Higher-Order Strategies.
Sergio Antoy
Andrew P. Tolmach
Published in:
Fuji International Symposium on Functional and Logic Programming (1999)
Keyphrases
</>
higher order
high order
natural images
lambda calculus
markov random field
pairwise
low order
markov models
database systems
data model
high level
real time
graph cuts
three dimensional
search engine
search strategies
lower order
databases