Type checking data structures more complex than trees.

Jin Sano Naoki Yamamoto Kazunori Ueda

Published in: CoRR (2022)

Keyphrases

data structure
type checking
data types
database
tree structure
high level
knowledge discovery
expressive power