Typed self-evaluation via intensional type functions.

Matt Brown Jens Palsberg

Published in: POPL (2017)

Keyphrases

higher order
fixed order
support vector
technical support
lambda calculus
neural network
web services
preprocessing
multiresolution
database query languages