Introducing Linear Implication Types to $\hat{I}{»}_{GT}$ for Computing With Incomplete Graphs

Jin Sano, Naoki Yamamoto, Kazunori Ueda

Designing programming languages that enable intuitive and safe manipulation of data structures is a critical research challenge. Conventional destructive memory operations using po…