Collaborated with:
K.Matsuda J.Duregård P.Jansson L.Xia D.Orchard
Talks about:
program (2) languag (2) function (1) bidirect (1) without (1) algebra (1) invert (1) enumer (1) compos (1) combin (1)
Person: Meng Wang 0002
DBLP: 0002:Meng_Wang
Contributed to:
Wrote 4 papers:
- Haskell-2012-DuregardJW #algebra #functional #named
- Feat: functional enumeration of algebraic types (JD, PJ, MW0), pp. 61–72.
- Haskell-2018-MatsudaW
- Embedding invertible languages with binders: a case of the FliPpr language (KM, MW0), pp. 158–171.
- ESOP-2018-Matsuda0 #combinator #lens #named #programming #using
- HOBiT: Programming Lenses Without Using Lens Combinators (KM, MW0), pp. 31–59.
- ESOP-2019-XiaOW #bidirectional #source code
- Composing Bidirectional Programs Monadically (LyX, DO, MW0), pp. 147–175.