Evaluating linear functions to symmetric monoidal categories.

Jean-Philippe Bernardy Arnaud Spiwack

Published in: Haskell (2021)

Keyphrases

linear functions
upper bound
boolean functions
special case
heavy hitters
genetic algorithm
training data
text classification
knapsack problem
equational theories