Intersection types and (positive) almost-sure termination.

Ugo Dal Lago Claudia Faggian Simona Ronchi Della Rocca

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

Keyphrases

positive and negative
real world
machine learning
social networks
high level
query processing
rewrite systems