Guarded impredicative polymorphism.

Alejandro Serrano Jurriaan Hage Dimitrios Vytiniotis Simon Peyton Jones

Published in: PLDI (2018)

Keyphrases

query answering
fixed point
probabilistic databases
computer vision
decision making
horn clauses
decision procedures
tree decompositions
image segmentation
bayesian networks
management system
first order logic