Kazutaka Matsuda | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Meng Wang
217 publications
Cristina David
5 publications
Masaomi Yamaguchi
2 publications

research

∙ 08/31/2021

Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches

We propose a technique for synthesizing bidirectional programs from the ...

0 Masaomi Yamaguchi, et al. ∙

research

∙ 11/01/2019

Modular Inference of Linear Types for Multiplicity-Annotated Arrows

Bernardy et al. [2018] proposed a linear type system λ^q_→ as a core typ...

0 Kazutaka Matsuda, et al. ∙

research

∙ 11/01/2019

A Modular Inference of Linear Types for Multiplicity-Annotated Arrows

Bernardy et al. [2018] proposed a linear type system λ^q_→ as a core typ...

0 Kazutaka Matsuda, et al. ∙