Login / Signup
Jin Sano
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Type Checking
Top Venues
CoRR
J. Inf. Process.
ICGT
</>
Publications
</>
Jin Sano
,
Kazunori Ueda
Language: A Functional Language with Graphs as First-Class Data.
ICGT
(2023)
Jin Sano
,
Naoki Yamamoto
,
Kazunori Ueda
Type Checking Data Structures More Complex than Trees.
J. Inf. Process.
31 (2023)
Jin Sano
,
Naoki Yamamoto
,
Kazunori Ueda
Type checking data structures more complex than trees.
CoRR
(2022)
Jin Sano
Implementing G-Machine in HyperLMNtal.
CoRR
(2021)