Parametric Subtyping for Structural Parametric Polymorphism.

Henry DeYoung Andreia Mordido Frank Pfenning Ankush Das

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

Keyphrases

parametric models
case study
structural information
pairwise
databases
decision trees
database systems
multiscale
multiresolution
control system
special case