Edit Profile (opens in new tab) Wang, Meng Co-Author Distance Author ID: wang.meng.1 Published as: Wang, Meng External Links: ORCID · dblp Documents Indexed: 28 Publications since 2007, including 7 Additional arXiv Preprints 1 Contribution as Editor Co-Authors: 15 Co-Authors with 11 Joint Publications 168 Co-Co-Authors all top 5 Co-Authors 1 single-authored 6 Matsuda, Kazutaka 4 Hu, Zhenjiang 3 Chen, Kung 3 Khoo, Siau-Cheng 3 Weng, Shu-Chun 2 Chen, Chung-Hsin 2 Gibbons, Jeremy 2 Song, Jian 2 Voigtlander, Janis 2 Yuan, Wangjun 1 Cormery, Fabrice 1 David, Cristina 1 Egorenkov, Vladimir A. 1 Fan, Kun 1 Fan, Maojun 1 Han, Bing 1 Jia, Xinyu 1 Li, Ansheng 1 Li, Jinkai 1 Li, Xinning 1 Lin, Binyan 1 Lin, Jia-Yin 1 Lin, Lanfen 1 Liu, Guomin 1 Liu, James Nga-Kwok 1 Loginova, Maria M. 1 Mao, Wenjin 1 Ning, Zhenhu 1 Orchard, Dominic A. 1 Owens, Scott 1 Pang, Jin 1 Qu, Hua 1 Rang, Guanglin 1 Shao, Jianfu 1 Shen, Wanqing 1 Tang, Wenhao 1 Trofimov, Vyacheslav A. 1 Wang, Tai-Ho 1 Wu, Nicolas 1 Xia, Li-Yao 1 Xiao, Chuangbai 1 Xie, Ruifeng 1 Xiong, Yuyao 1 Yamaguchi, Masaomi 1 Yang, Yongqiang 1 Yu, Jing 1 Zhang, Hanliang 1 Zhang, Ya-Hao all top 5 Serials 2 Journal of Functional Programming 1 Computer Methods in Applied Mechanics and Engineering 1 Mathematical Methods in the Applied Sciences 1 Science of Computer Programming 1 International Journal of Robust and Nonlinear Control 1 Formal Methods in System Design 1 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations 1 Higher-Order and Symbolic Computation 1 Journal of Zhejiang University. Engineering Science 1 Journal of Industrial and Management Optimization 1 International Journal of Computer Research 1 Lecture Notes in Computer Science 1 Algorithms 1 International Journal of Structural Stability and Dynamics all top 5 Fields 17 Computer science (68-XX) 3 Systems theory; control (93-XX) 2 Partial differential equations (35-XX) 2 Probability theory and stochastic processes (60-XX) 2 Numerical analysis (65-XX) 2 Mechanics of deformable solids (74-XX) 1 General and overarching topics; collections (00-XX) 1 Statistics (62-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 7 Publications have been cited 15 times in 11 Documents Cited by ▼ Year ▼ Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. Zbl 1303.68039 Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng 5 2013 Combining syntactic and semantic bidirectionalization. Zbl 1323.68170 Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng 3 2010 Applicative bidirectional programming with lenses. Zbl 1360.68335 Matsuda, Kazutaka; Wang, Meng 3 2015 A compilation model for aspect-oriented polymorphically typed functional languages. Zbl 1211.68062 Chen, Kung; Weng, Shu-Chun; Wang, Meng; Khoo, Siau-Cheng; Chen, Chung-Hsin 2 2007 FliPpr: a prettier invertible printing system. Zbl 1381.68027 Matsuda, Kazutaka; Wang, Meng 1 2013 Gradual refinement. Blending pattern matching with data abstraction. Zbl 1286.68330 Wang, Meng; Gibbons, Jeremy; Matsuda, Kazutaka; Hu, Zhenjiang 1 2010 Composing bidirectional programs monadically. Zbl 1524.68062 Xia, Li-yao; Orchard, Dominic; Wang, Meng 1 2019 Composing bidirectional programs monadically. Zbl 1524.68062 Xia, Li-yao; Orchard, Dominic; Wang, Meng 1 2019 Applicative bidirectional programming with lenses. Zbl 1360.68335 Matsuda, Kazutaka; Wang, Meng 3 2015 Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. Zbl 1303.68039 Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng 5 2013 FliPpr: a prettier invertible printing system. Zbl 1381.68027 Matsuda, Kazutaka; Wang, Meng 1 2013 Combining syntactic and semantic bidirectionalization. Zbl 1323.68170 Voigtländer, Janis; Hu, Zhenjiang; Matsuda, Kazutaka; Wang, Meng 3 2010 Gradual refinement. Blending pattern matching with data abstraction. Zbl 1286.68330 Wang, Meng; Gibbons, Jeremy; Matsuda, Kazutaka; Hu, Zhenjiang 1 2010 A compilation model for aspect-oriented polymorphically typed functional languages. Zbl 1211.68062 Chen, Kung; Weng, Shu-Chun; Wang, Meng; Khoo, Siau-Cheng; Chen, Chung-Hsin 2 2007 all cited Publications top 5 cited Publications all top 5 Cited by 31 Authors 4 Wang, Meng 2 Chen, Kung 2 Filiot, Emmanuel 2 Khoo, Siau-Cheng 2 Maneth, Sebastian 2 Reynier, Pierre-Alain 2 Talbot, Jean-Marc 2 Voigtlander, Janis 2 Weng, Shu-Chun 1 Abou-Saleh, Faris 1 Axelsen, Holger Bock 1 Chen, Chung-Hsin 1 Cheney, James 1 Cunha, Alcino 1 David, Cristina 1 Gibbons, Jeremy 1 Glück, Robert 1 Grohne, Helmut 1 Hu, Zhenjiang 1 Lin, Jia-Yin 1 Macedo, Nuno 1 Matsuda, Kazutaka 1 McKinna, James 1 Pacheco, Hugo 1 Seidel, Daniel 1 Stevens, Perdita 1 Tang, Wenhao 1 Xie, Ruifeng 1 Yamaguchi, Masaomi 1 Yokoyama, Tetsuo 1 Zhang, Hanliang all top 5 Cited in 8 Serials 1 Acta Informatica 1 Theoretical Computer Science 1 Science of Computer Programming 1 Information and Computation 1 Formal Methods in System Design 1 Journal of Functional Programming 1 Higher-Order and Symbolic Computation 1 Journal of Logical and Algebraic Methods in Programming Cited in 2 Fields 11 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) Citations by Year