Travelled to:1 × India
1 × Japan
1 × Sweden
1 × USA
2 × United Kingdom
Collaborated with:J.Gibbons R.Hinze T.Schrijvers M.Pickering M.Wang C.Kiss B.Németh B.Desouter B.Demoen J.P.Magalhães J.Bransen W.Swierstra M.Piróg M.Jaskelioff
Talks about:transform (2) structur (2) program (2) handler (2) specif (2) scheme (2) recurs (2) effect (2) increment (1) implement (1)
Person: Nicolas Wu
DBLP: Wu:Nicolas
Facilitated 1 volumes:
EdContributed to:
2015
2014
20142013
2012201120142019Wrote 10 papers:
- POPL-2015-HinzeWG #morphism #recursion
- Conjugate Hylomorphisms — Or: The Mother of All Structured Recursion Schemes (RH, NW, JG), pp. 527–538.
- ICFP-2014-GibbonsW #domain-specific language
- Folding domain-specific languages: deep and shallow embeddings (JG, NW), pp. 339–347.
- PPDP-2014-SchrijversWDD #functional #heuristic #implementation #logic programming #specification
- Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation (TS, NW, BD, BD), pp. 259–270.
- ICFP-2013-HinzeWG #recursion
- Unifying structured recursion schemes (RH, NW, JG), pp. 209–220.
- IFL-2012-WuMBS #case study #experience #lazy evaluation #mining
- Pure and Lazy λ Mining — An Experience Report (NW, JPM, JB, WS), pp. 207–223.
- ICFP-2011-WangGW #bidirectional #incremental #performance
- Incremental updates for efficient bidirectional transformations (MW, JG, NW), pp. 392–403.
- Haskell-2014-WuSH
- Effect handlers in scope (NW, TS, RH), pp. 1–12.
- Haskell-2019-PickeringWK #multi #source code
- Multi-stage programs in context (MP, NW, CK), pp. 71–84.
- Haskell-2019-PickeringWN #plugin
- Working with source plugins (MP, NW, BN), pp. 85–97.
- Haskell-2019-SchrijversPWJ #algebra #composition #monad #what
- Monad transformers and modular algebraic effects: what binds them together (TS, MP, NW, MJ), pp. 98–113.