Підписатись
Nicolas Wu
Nicolas Wu
Reader in Computer Science, Imperial College London
Підтверджена електронна адреса в imperial.ac.uk - Домашня сторінка
Назва
Посилання
Посилання
Рік
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
1382014
Effect handlers in scope
N Wu, T Schrijvers, R Hinze
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014
1022014
Profunctor optics: Modular data accessors
M Pickering, J Gibbons, N Wu
The Art Science, and Engineering of Programming 1 (2), 2017
762017
Fusion for free: Efficient algebraic effect handlers
N Wu, T Schrijvers
International Conference on Mathematics of Program Construction, 302-322, 2015
582015
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
502018
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
492019
Unifying structured recursion schemes
R Hinze, N Wu, J Gibbons
ACM SIGPLAN Notices 48 (9), 209-220, 2013
382013
Incremental updates for efficient bidirectional transformations
M Wang, J Gibbons, N Wu
ACM SIGPLAN Notices 46 (9), 392-403, 2011
322011
Conjugate Hylomorphisms--Or: The Mother of All Structured Recursion Schemes
R Hinze, N Wu, J Gibbons
ACM SIGPLAN Notices 50 (1), 527-538, 2015
252015
Relational algebra by way of adjunctions
J Gibbons, F Henglein, R Hinze, N Wu
Proceedings of the ACM on Programming Languages, 2018
242018
Latent effects for reusable language components
B Van den Berg, T Schrijvers, CB Poulsen, N Wu
Asian Symposium on Programming Languages and Systems, 182-201, 2021
222021
Staged selective parser combinators
J Willis, N Wu, M Pickering
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020
222020
Heuristics Entwined with Handlers Combined
T Schrijvers, N Wu, B Desouter, B Demoen
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
212014
Structured handling of scoped effects
Z Yang, M Paviotti, N Wu, B van den Berg, T Schrijvers
European Symposium on Programming, 462-491, 2022
182022
Staging with class: a specification for typed template Haskell
N Xie, M Pickering, A Löh, N Wu, J Yallop, M Wang
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
182022
Working with source plugins
M Pickering, N Wu, B Németh
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 85-97, 2019
182019
Histo- and Dynamorphisms Revisited
R Hinze, N Wu
152013
Reasoning about effect interaction by fusion
Z Yang, N Wu
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
132021
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
132017
Unifying structured recursion schemes: an extended study
R Hinze, N Wu
Journal of Functional Programming 26, e1, 2016
132016
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20