On type-cases, union elimination, and occurrence typing.

Giuseppe Castagna Mickaël Laurent Kim Nguyen Matthew Lutze

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

Keyphrases

relational databases
machine learning
decision making
three dimensional
search algorithm
mobile robot
error rate
occurrence frequency