CUFinder

Kazutaka Matsuda

Kazutaka Matsuda

Tohoku University

H-index: 15

Asia-Japan

About Kazutaka Matsuda

Kazutaka Matsuda, With an exceptional h-index of 15 and a recent h-index of 8 (since 2020), a distinguished researcher at Tohoku University, specializes in the field of Programming Language, Functional Programming, Program Transformation.

His recent articles reflect a diverse array of research interests and contributions to the field:

Reconciling Partial and Local Invertibility

SPARCL: A language for partially invertible computation

Embedding by Unembedding

Synbit: synthesizing bidirectional programs using unidirectional sketches

Modular inference of linear types for multiplicity-annotated arrows

Kazutaka Matsuda Information

University

Position

___

Citations(all)

793

Citations(since 2020)

203

Cited By

654

hIndex(all)

15

hIndex(since 2020)

8

i10Index(all)

19

i10Index(since 2020)

7

Email

Access Email

University Profile Page

Tohoku University

Google Scholar

View Google Scholar Profile

Kazutaka Matsuda Skills & Research Interests

Programming Language

Functional Programming

Program Transformation

Top articles of Kazutaka Matsuda

Title

Journal

Author(s)

Publication Date

Reconciling Partial and Local Invertibility

Anders Ågren Thuné

Kazutaka Matsuda

Meng Wang

2024/4/5

SPARCL: A language for partially invertible computation

Journal of Functional Programming

Kazutaka Matsuda

Meng Wang

2024/1

Embedding by Unembedding

Proceedings of the ACM on Programming Languages

Kazutaka Matsuda

Samantha Frohlich

Meng Wang

Nicolas Wu

2023/8/30

Synbit: synthesizing bidirectional programs using unidirectional sketches

Proceedings of the ACM on Programming Languages

Masaomi Yamaguchi

Kazutaka Matsuda

Cristina David

Meng Wang

2021/10/15

Modular inference of linear types for multiplicity-annotated arrows

Kazutaka Matsuda

2020/4/18

See List of Professors in Kazutaka Matsuda University(Tohoku University)