HOBiT: Programming Lenses Without Using Lens Combinators
2018 · Lecture notes in computer science · 25 citations
https://doi.org/10.1007/978-3-319-89884-1_2
M
Meng Wang
Claim or correct this author profile
Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.
101
Papers
832
Citations
15
h-index
26
i10-index
Meng Wang is an academic researcher from Hefei University of Technology. The author has contributed to research in topics: Logic, programming, and type systems & Software Engineering Research & Parallel Computing and Optimization Techniques. The author has an h-index of 15, co-authored 86 publications.
ORCID: 0000-0001-7780-630XPapers by this author
worksOwnership Guided C to Rust Translation
2023 · Lecture notes in computer science · 22 citations
https://doi.org/10.1007/978-3-031-37709-9_22
Composing Bidirectional Programs Monadically
2019 · Lecture notes in computer science · 7 citations
https://doi.org/10.1007/978-3-030-17184-1_6
Achieve data privacy and clustering accuracy simultaneously through quantized data recovery
2020 · EURASIP Journal on Advances in Signal Processing · 5 citations
https://doi.org/10.1186/s13634-020-00682-7
Research topics
topicsChat about Author
Papers
Chat
Click to start Chat