Higher-Order Nonemptiness Step by Step.

Published in: FSTTCS (2020)

Keyphrases

programming language
lambda calculus
object oriented
higher order
high level
easy to follow
pareto optimality
data sets
decision making
search algorithm
data mining
image segmentation
data structure
pairwise