Meng Wang
Visar 23 publikationer
Understanding formal specifications through good examples
"Bidirectionalization for Free" for Monomorphic Transformations
Semantic bidirectionalization revisited
Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins
FliPpr: A Prettier Invertible Printing System
Feat: Functional Enumeration of Algebraic Types
Incremental Updates for Efficient Bidirectional Transformations
Side-effect localization for lazy, purely functional languages via aspects
Incremental Updates for Efficient Bidirectional Transformations
Gradual Refinement: Blending Pattern Matching with Data Abstraction
Type−directed weaving of aspects for polymorphically typed functional languages
Combining Syntactic and Semantic Bidirectionalization
Combining Syntactic and Semantic Bidirectionalization
What Does Aspect−Oriented Programming Mean for Functional Programmers?
The visitor pattern as a reusable, generic, type-safe component
The Visitor Pattern as a Reusable‚ Generic‚ Type−Safe Component
Aspect−Oriented Programming with Type Classes
A Compilation Model for Aspect−Oriented Polymorphically Typed Functional Languages
On The Pursuit of Staticness and Coherence
Type-directed weaving of aspects for higher-order functional languages
Modular Generic Programming with Extensible Superclasses
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.