Nicolas Wu
- Generic Deriving of Generic Traversals
2018/05/17 by Csongor Kiss, Kiss, Csongor, Matthew C. Pickering +4 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #Software Engineering Research #cs.PL
- Fusing Industry and Academia at GitHub (Experience Report)
2022/06/18 by Patrick Thomson, Thomson, Patrick, Rob Rix +5 · 1 voice · 1 citation
Computer Science · #D.2.m #FOS: Computer and information sciences #Software Engineering (cs.SE) #cs.SE
- A Non-Terminating Game of Beggar-My-Neighbor
2024/03/19 by Brayden Casella, Casella, Brayden, Philip M. Anderson +14 · 2 voices · 1 citation
Business, Management and Accounting · Mathematics · Psychology · Social Sciences · #Names, Identity, and Discrimination Research #Sexuality, Behavior, and Technology #Sharing Economy and Platforms #math.CO
- Fantastic Morphisms and Where to Find Them: A Guide to Recursion Schemes
2022/02/28 by Zhixuan Yang, Yang, Zhixuan, Nicolas Wu +1 · 1 voice · 1 citation
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research #cs.PL