Identification of anti-resorptive and anti-cancer activities of epigenetic inhibitors by Wu, N

A Functional Implementation of the Formal Template Language by Wu, N

Generative Templates for Formal Metamodel Design by Wu, N

Folding Domain−Specific Languages: Deep and Shallow Embeddings by Gibbons, J, Wu, N

Histo− and Dynamorphisms Revisited by Hinze, R, Wu, N

Towards Formally Templated Relational Database Representations in Z by Wu, N, Simpson, A

Squiggoling with Bialgebras: Recursion Schemes from Comonads Revisited by Hinze, R, Wu, N

Towards a categorical foundation for generic programming by Hinze, R, Wu, N

Formal Relational Database Design: An Exercise in Extending the Formal Template Language by Wu, N, Simpson, A

Towards a Categorical Foundation for Generic Programming by Hinze, R, Wu, N, ACM

Effect Handlers in Scope by Wu, N, Schrijvers, T, Hinze, R

Incremental Updates for Efficient Bidirectional Transformations by Wang, M, Gibbons, J, Wu, N

Unifying Structured Recursion Schemes by Hinze, R, Wu, N, Gibbons, J

A Duality of Sorts by Hinze, R, aes, J, Wu, N

Unifying Structured Recursion Schemes by Hinze, R, Wu, N, Gibbons, J

Conjugate Hylomorphisms‚ Or: The Mother of All Structured Recursion Schemes by Hinze, R, Wu, N, Gibbons, J

Incremental updates for efficient bidirectional transformations by Wang, M, Gibbons, J, Wu, N

Profunctor optics: Modular data accessors by Pickering, M, Gibbons, J, Wu, N

Incremental Updates for Efficient Bidirectional Transformations by Wang, M, Gibbons, J, Wu, N

Quantitative metrics for evaluating the phased roll-out of clinical information systems by Wong, D, Wu, N, Watkinson, P