Jin Sano

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

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