2 papers
cs.PL2021
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David +1
We propose a technique for synthesizing bidirectional programs from the corresponding unidirectional code plus a few input/output examples. The core ideas are: (1) constructing a s…
cs.PL2019
Modular Inference of Linear Types for Multiplicity-Annotated Arrows
Kazutaka Matsuda
Bernardy et al. [2018] proposed a linear type system as a core type system of Linear Haskell. In the system, linearity is represented by annotated arrow types …