Publications

  1. Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang: Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches. PACMPL 5(OOPSLA), 105:1-105:31, 2021.
  2. Kazutaka Matsuda and Meng Wang: Sparcl: A Language for Partially-Invertible Computation. PACMPL 4(ICFP), 118:1-118:31, 2020.
  3. Kazutaka Matsuda: Modular Inference of Linear Types for Multiplicity-Annotated Arrows. ESOP 2020, LNCS 12075, 456-483, 2020.
  4. Li-yao Xia, Dominic Orchard, and Meng Wang: Composing Bidirectional Programs Monadically. ESOP 2019, LNCS 11423, 147-175, 2019.
  5. Kazutaka Matsuda and Meng Wang: HOBiT: Programming Lenses without Using Lens Combinators. ESOP 2018, LNCS 10801, 31-59. 2018.
  6. Kazutaka Matsuda and Meng Wang: Embedding Invertible Languages with Binders: a Case of the FliPpr Language. Haskell Symposium 2018, 158-171. 2018. Auther Version
  7. Kazutaka Matsuda and Meng Wang: Applicative Bidirectional Programming: Mixing Lenses and Semantic Bidirectionalization. Journal of Functional Programming 28: e15. 2018.
  8. Kazutaka Matsuda and Meng Wang: FliPpr: A System for Deriving Parsers from Pretty-Printers. New Generation Computing 36(3): 173-202. 2018.
  9. Yufeng Cheng, Meng Wang, Yingfei Xiong, Zhengkai Wu, Yiming Wu, Lu Zhang: Un-Preprocessing: Extended CPP That Works with Your Tools. Internetware 2017: 3:1-3:10. 2017.
  10. Kazutaka Matsuda and Meng Wang: “Bidirectionalization for Free” for Monomorphic Transformations. Science of Computer Programming 111: 79-109. 2015.
  11. Kazutaka Matsuda and Meng Wang: Applicative Bidirectional Programming with Lenses, ICFP 2015: 62-74, 2015.