Type checking data structures more complex than trees

Jin Sano, Naoki Yamamoto, Kazunori Ueda

Graphs are a generalized concept that encompasses more complex data structures than trees, such as difference lists, doubly-linked lists, skip lists, and leaf-linked trees. Normall…