Nicolas Wu
Nicolas Wu
Senior Lecturer in Computer Science, Imperial College London
Bestätigte E-Mail-Adresse bei imperial.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
572014
Effect handlers in scope
N Wu, T Schrijvers, R Hinze
Proceedings of the 2014 ACM SIGPLAN Symposium on Haskell, 1-12, 2014
482014
Profunctor optics: Modular data accessors
M Pickering, J Gibbons, N Wu
The Art Science, and Engineering of Programming 1 (2), 2017
382017
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
242015
Unifying structured recursion schemes
R Hinze, N Wu, J Gibbons
ACM SIGPLAN Notices 48 (9), 209-220, 2013
222013
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
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
122013
Relational algebra by way of adjunctions
J Gibbons, F Henglein, R Hinze, N Wu
Proceedings of the ACM on Programming Languages, 2018
72018
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
62019
Generic deriving of generic traversals
C Kiss, M Pickering, N Wu
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
52018
Unifying structured recursion schemes: an extended study
R Hinze, N Wu
Journal of Functional Programming 26, 2016
52016
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
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
32017
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
String diagrams for free monads (functional pearl)
M Piróg, N Wu
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
22016
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20