Implementing G-Machine in HyperLMNtal. - Jin Sano (CoRR, 2021)

Implementing the λ GT Language: A Functional Language with Graphs as First-Class Data. - Jin Sano; Kazunori Ueda (ICGT, 2023)

Type Checking Data Structures More Complex than Trees. - Jin Sano; Naoki Yamamoto; Kazunori Ueda (J. Inf. Process., 2023)