Nicolas Wu
Nicolas Wu
Senior Lecturer in Computer Science, Imperial College London
Verified email at imperial.ac.uk - 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
522014
Effect handlers in scope
N Wu, T Schrijvers, R Hinze
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014
402014
Profunctor optics: Modular data accessors
M Pickering, J Gibbons, N Wu
The Art Science, and Engineering of Programming 1 (2), 2017
272017
Incremental updates for efficient bidirectional transformations
M Wang, J Gibbons, N Wu
ACM SIGPLAN Notices 46 (9), 392-403, 2011
272011
Fusion for free
N Wu, T Schrijvers
International Conference on Mathematics of Program Construction, 302-322, 2015
212015
Unifying structured recursion schemes
R Hinze, N Wu, J Gibbons
ACM SIGPLAN Notices 48 (9), 209-220, 2013
212013
Conjugate Hylomorphisms--Or: The Mother of All Structured Recursion Schemes
R Hinze, N Wu, J Gibbons
ACM SIGPLAN Notices 50 (1), 527-538, 2015
192015
Heuristics Entwined with Handlers Combined
T Schrijvers, N Wu, B Desouter, B Demoen
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
142014
Histo- and Dynamorphisms Revisited
R Hinze, N Wu
112013
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
72018
Unifying structured recursion schemes: an extended study
R Hinze, N Wu
Journal of Functional Programming 26, 2016
52016
Monad transformers and modular algebraic effects: what binds them together
T Schrijvers, M Piróg, N Wu, M Jaskelioff
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 98-113, 2019
42019
Towards a categorical foundation for generic programming
R Hinze, N Wu
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 47-58, 2011
42011
Relational algebra by way of adjunctions
J Gibbons, F Henglein, R Hinze, N Wu
Proceedings of the ACM on Programming Languages, 2018
32018
Modules over Monads & their Algebras
M Piróg, N Wu, J Gibbons, N CALCO2015
32015
Working with source plugins
M Pickering, N Wu, B Németh
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 85-97, 2019
22019
Generic deriving of generic traversals
C Kiss, M Pickering, N Wu
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
22018
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
22017
Formal relational database design: an exercise in extending the formal template language
N Wu, A Simpson
Formal Aspects of Computing 26 (6), 1231-1269, 2014
22014
Sorting with Bialgebras and Distributive Laws
R Hinze, D James, T Harper, N Wu, JP Magalhăes
22012
The system can't perform the operation now. Try again later.
Articles 1–20