System F in Agda, for Fun and Profit.

James Chapman Roman Kireev Chad Nester Philip Wadler

Published in: MPC (2019)

Keyphrases

marketing strategies
computer games
data sets
information systems
machine learning
social networks
decision making
optimal solution
multi agent systems
return on investment