Подписаться
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
1372014
Effect handlers in scope
N Wu, T Schrijvers, R Hinze
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014
1012014
Profunctor optics: Modular data accessors
M Pickering, J Gibbons, N Wu
The Art Science, and Engineering of Programming 1 (2), 2017
742017
Fusion for free: Efficient algebraic effect handlers
N Wu, T Schrijvers
International Conference on Mathematics of Program Construction, 302-322, 2015
612015
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
512019
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
512018
Unifying structured recursion schemes
R Hinze, N Wu, J Gibbons
ACM SIGPLAN Notices 48 (9), 209-220, 2013
372013
Incremental updates for efficient bidirectional transformations
M Wang, J Gibbons, N Wu
ACM SIGPLAN Notices 46 (9), 392-403, 2011
322011
Relational algebra by way of adjunctions
J Gibbons, F Henglein, R Hinze, N Wu
Proceedings of the ACM on Programming Languages, 2018
252018
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
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
232021
Staged selective parser combinators
J Willis, N Wu, M Pickering
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020
232020
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
Working with source plugins
M Pickering, N Wu, B Németh
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 85-97, 2019
192019
Structured handling of scoped effects
Z Yang, M Paviotti, N Wu, B van den Berg, T Schrijvers
European Symposium on Programming, 462-491, 2022
172022
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
172022
Histo- and Dynamorphisms Revisited
R Hinze, N Wu
152013
Unifying structured recursion schemes: an extended study
R Hinze, N Wu
Journal of Functional Programming 26, e1, 2016
132016
Reasoning about effect interaction by fusion
Z Yang, N Wu
Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021
122021
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
122017
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20