Self Types for Dependently Typed Lambda Encodings.

Peng Fu Aaron Stump

Published in: RTA-TLCA (2014)

Keyphrases

lambda calculus
feature selection
higher order
data sets
computer vision
image processing
special case
orders of magnitude
fixed point
neural network
information retrieval
genetic algorithm
information systems
similarity measure
information technology