Nicolas Wu
Nicolas Wu
Senior Lecturer in Computer Science, Imperial College London
Verified email at - Homepage
TitleCited byYear
Folding Domain-Specific Languages: Deep and Shallow Embeddings (Functional Pearl)
J Gibbons, N Wu
Proceedings of the 19th ACM SIGPLAN international conference on Functional …, 2014
Effect handlers in scope
N Wu, T Schrijvers, R Hinze
ACM SIGPLAN Notices 49 (12), 1-12, 2014
Incremental updates for efficient bidirectional transformations
M Wang, J Gibbons, N Wu
ACM SIGPLAN Notices 46 (9), 392-403, 2011
Unifying structured recursion schemes
R Hinze, N Wu, J Gibbons
ACM SIGPLAN Notices 48 (9), 209-220, 2013
Fusion for free
N Wu, T Schrijvers
International Conference on Mathematics of Program Construction, 302-322, 2015
Conjugate Hylomorphisms--Or: The Mother of All Structured Recursion Schemes
R Hinze, N Wu, J Gibbons
ACM SIGPLAN Notices 50 (1), 527-538, 2015
Profunctor optics: Modular data accessors
M Pickering, J Gibbons, N Wu
The Art Science, and Engineering of Programming 1 (2), 2017
Heuristics Entwined with Handlers Combined
T Schrijvers, N Wu, B Desouter, B Demoen
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
Profunctor Optics: Modular Data Accessors. The Art
M Pickering, J Gibbons, N Wu
Science, and Engineering of Programming 1 (2), 2017
Histo- and Dynamorphisms Revisited
R Hinze, N Wu
Unifying structured recursion schemes: An Extended Study
R Hinze, N Wu
Journal of Functional Programming 26, 2016
Towards a categorical foundation for generic programming
R Hinze, N Wu
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 47-58, 2011
Syntax and semantics for operations with scopes
M Piróg, T Schrijvers, N Wu, M Jaskelioff
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
Modules over Monads & their Algebras
M Piróg, N Wu, J Gibbons, N CALCO2015
Generic deriving of generic traversals
C Kiss, M Pickering, N Wu
Proceedings of the ACM on Programming Languages 2 (ICFP), 85, 2018
Relational algebra by way of adjunctions
J Gibbons, F Henglein, R Hinze, N Wu
Proceedings of the ACM on Programming Languages, 2018
Quantitative metrics for evaluating the phased roll-out of clinical information systems
D Wong, N Wu, P Watkinson
International journal of medical informatics 105, 130-135, 2017
Sorting with Bialgebras and Distributive Laws
R Hinze, D James, T Harper, N Wu, JP Magalhăes
Towards Formally Templated Relational Database Representations in Z
N Wu, A Simpson
Abstract State Machines, Alloy, B and Z, 363-376, 2010
Working with source plugins
M Pickering, N Wu, B Németh
Proceedings of the 2019 ACM SIGPLAN Symposium on Haskell (Haskell’19). ACM …, 2019
The system can't perform the operation now. Try again later.
Articles 1–20