14
Publications
361
Citations
13
H-Index
2011
Active since
Nicolas Wu is an author at University of Oxford specializing in formal methods, computer science, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningLinguisticsSyntaxLanguageSemanticsSemantic WebProgram Analysis
Publications per year
2011–2022
14
14
Folding domain-specific languages
Jeremy Gibbons, Nicolas Wu · 2014 · 74 citations
Engineering, Semantic Web, Semantics +19
Nicolas Wu, Tom Schrijvers, Ralf Hinze · 2014 · 69 citations · Full text
Monad transformers and modular algebraic effects: what binds them together
Tom Schrijvers, Maciej Piróg, Nicolas Wu et al. · 2019 · 30 citations · Full text
Syntax and Semantics for Operations with Scopes
Maciej Piróg, Tom Schrijvers, Nicolas Wu et al. · 2018 · 26 citations · Full text
Unifying structured recursion schemes
Ralf Hinze, Nicolas Wu, Jeremy Gibbons · 2013 · 24 citations · Full text
Rows per page
1–5 of 14