Skip to main content

2 Result(s)

within English Remove this filter Computer Systems Organization and Communication Networks Remove this filter Kazutaka Matsuda Remove this filter Chapter Remove this filter Conference Paper Remove this filter

and

  1. Chapter and Conference Paper

    Modular Inference of Linear Types for Multiplicity-Annotated Arrows

    Bernardy et al. [2018] proposed a linear type system \(\lambda ^q_\rightarrow \) λ ...

    Kazutaka Matsuda in Programming Languages and Systems (2020)

    Download PDF (594 KB)

  2. Chapter and Conference Paper

    HOBiT: Programming Lenses Without Using Lens Combinators

    We propose HOBiT, a higher-order bidirectional programming language, in which users can write bidirectional programs in the familiar style of conventional functional programming, while enjoying the full expres...

    Kazutaka Matsuda, Meng Wang in Programming Languages and Systems (2018)

    Download PDF (1019 KB) View Chapter