Nicolas Wu
Nicolas Wu
Senior Lecturer in Computer Science, Imperial College London
Verified email at imperial.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
612014
Effect handlers in scope
N Wu, T Schrijvers, R Hinze
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014
492014
Profunctor optics: Modular data accessors
M Pickering, J Gibbons, N Wu
The Art Science, and Engineering of Programming 1 (2), 2017
402017
Incremental updates for efficient bidirectional transformations
M Wang, J Gibbons, N Wu
ACM SIGPLAN Notices 46 (9), 392-403, 2011
282011
Fusion for free
N Wu, T Schrijvers
International Conference on Mathematics of Program Construction, 302-322, 2015
252015
Unifying structured recursion schemes
R Hinze, N Wu, J Gibbons
ACM SIGPLAN Notices 48 (9), 209-220, 2013
232013
Conjugate Hylomorphisms--Or: The Mother of All Structured Recursion Schemes
R Hinze, N Wu, J Gibbons
ACM SIGPLAN Notices 50 (1), 527-538, 2015
212015
Heuristics Entwined with Handlers Combined
T Schrijvers, N Wu, B Desouter, B Demoen
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
152014
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
14*2019
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
132018
Histo- and Dynamorphisms Revisited
R Hinze, N Wu
132013
Relational algebra by way of adjunctions
J Gibbons, F Henglein, R Hinze, N Wu
Proceedings of the ACM on Programming Languages, 2018
72018
Generic deriving of generic traversals
C Kiss, M Pickering, N Wu
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
62018
Unifying structured recursion schemes: an extended study
R Hinze, N Wu
Journal of Functional Programming 26, 2016
52016
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
42017
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
Modules over Monads & their Algebras
M Piróg, N Wu, J Gibbons, N CALCO2015
32015
Haskell library: network-transport package. A network abstraction layer API
D Coutts, N Wu, E de Vries
3
Multi-stage programs in context
M Pickering, N Wu, C Kiss
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 71-84, 2019
22019
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
The system can't perform the operation now. Try again later.
Articles 1–20