Meng Wang
Meng Wang
Senior Lecturer in Computer Science, University of Bristol
Bestätigte E-Mail-Adresse bei bristol.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Feat: functional enumeration of algebraic types
J Duregård, P Jansson, M Wang
Proceedings of the 2012 symposium on Haskell symposium, 61-72, 2012
612012
Combining syntactic and semantic bidirectionalization
J Voigtländer, Z Hu, K Matsuda, M Wang
ACM SIGPLAN Notices 45 (9), 181-192, 2010
432010
The visitor pattern as a reusable, generic, type-safe component
BCS Oliveira, M Wang, J Gibbons
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented …, 2008
422008
Incremental updates for efficient bidirectional transformations
M Wang, J Gibbons, N Wu
ACM SIGPLAN Notices 46 (9), 392-403, 2011
282011
Type-directed weaving of aspects for higher-order functional languages
M Wang, K Chen, SC Khoo
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and …, 2006
282006
How functional programming mattered
Z Hu, J Hughes, M Wang
National Science Review 2 (3), 349-370, 2015
252015
Gradual Refinement
M Wang, J Gibbons, K Matsuda, Z Hu
Mathematics of Program Construction, 397-425, 2010
252010
Applicative Bidirectional Programming with Lenses
K Matsuda, M Wang
Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015
222015
FliPpr: A Prettier Invertible Printing System
K Matsuda, M Wang
European conference on Programming Languages and Systems, 101-120, 2013
222013
Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem
K Matsuda, M Wang
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
182013
A type-safe embedding of Constraint Handling Rules into Haskell
WN Chin, M Sulzmann, M Wang
Honors Thesis. School of Computing, National University of Singapore, 2003
182003
Refactoring pattern matching
M Wang, J Gibbons, K Matsuda, Z Hu
Science of Computer Programming, 2012
172012
On the pursuit of static and coherent weaving
M Wang, K Chen, SC Khoo
FOAL 2006 Proceedings, 37, 2006
17*2006
Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins
J Voigtländer, Z Hu, K Matsuda, M Wang
Journal of functional programming, 2013
162013
Aspect-oriented programming with type classes
M Sulzmann, M Wang
Proceedings of the 6th workshop on Foundations of aspect-oriented languages …, 2007
162007
HOBiT: Programming Lenses Without Using Lens Combinators
K Matsuda, M Wang
European Symposium on Programming, 31-59, 2018
142018
Modular generic programming with extensible superclasses
M Sulzmann, M Wang
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, 55-65, 2006
142006
A systematic translation of guarded recursive data types to existential types
M Sulzmann, M Wang
Technical Report TR22/04, The National University of Singapore, 2004
14*2004
A compilation model for aspect-oriented polymorphically typed functional languages
K Chen, SC Weng, M Wang, SC Khoo, CH Chen
Static Analysis, 34-51, 2007
122007
“Bidirectionalization for free” for monomorphic transformations
K Matsuda, M Wang
Science of Computer Programming 111, 79-109, 2015
102015
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20