Jin Sano

According to our database¹, Jin Sano authored at least 4 papers between 2021 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

Introducing Linear Implication Types to λ<sub>GT</sub> for Computing With Incomplete Graphs.

[BibT_eX]

[DOI]

CoRR, October, 2025

2023

Type Checking Data Structures More Complex than Trees.

[BibT_eX]

[DOI]

J. Inf. Process., 2023

Implementing the λ <sub>GT</sub> Language: A Functional Language with Graphs as First-Class Data.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 16th International Conference, 2023

2021

Implementing G-Machine in HyperLMNtal.

[BibT_eX]

[DOI]

CoRR, 2021