Polymorphic types and effects with Boolean unification.

Magnus Madsen Jaco van de Pol

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

machine learning
wide range
objective function
real valued
theorem proving
database
databases
real world
computer vision
image processing
website
high level
query processing
mobile robot
positive effects
boolean logic