Internal Parametricity, without an Interval.

Thorsten Altenkirch Yorgo Chamoun Ambrus Kaposi Michael Shulman

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

Keyphrases

internal and external
database
databases
data mining
artificial intelligence
decision making
metadata
natural language
special case
interval valued data