This page has been moved to https://bx-lang.github.io/EXHIBIT/publications.html. Redirecting in 10 seconds.

Publications

  1. Kazutaka Matsuda: Modular Inference of Linear Types for Multiplicity-Annotated Arrows. ESOP 2020, LNCS 12075, 456-483, 2020.
  2. Li-yao Xia, Dominic Orchard, and Meng Wang: Composing Bidirectional Programs Monadically. ESOP 2019, LNCS 11423, 147-175, 2019.
  3. Kazutaka Matsuda and Meng Wang: HOBiT: Programming Lenses without Using Lens Combinators. ESOP 2018, LNCS 10801, 31-59. 2018.
  4. Kazutaka Matsuda and Meng Wang: Embedding Invertible Languages with Binders: a Case of the FliPpr Language. Haskell Symposium 2018, 158-171. 2018. Auther Version
  5. Kazutaka Matsuda and Meng Wang: Applicative Bidirectional Programming: Mixing Lenses and Semantic Bidirectionalization. Journal of Functional Programming 28: e15. 2018.
  6. Kazutaka Matsuda and Meng Wang: FliPpr: A System for Deriving Parsers from Pretty-Printers. New Generation Computing 36(3): 173-202. 2018.
  7. 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.
  8. Kazutaka Matsuda and Meng Wang: “Bidirectionalization for Free” for Monomorphic Transformations. Science of Computer Programming 111: 79-109. 2015.
  9. Kazutaka Matsuda and Meng Wang: Applicative Bidirectional Programming with Lenses, ICFP 2015: 62-74, 2015.