Search Results for author: Nicolas Wu

Found 3 papers, 0 papers with code

Folding over Neural Networks

no code implementations3 Jul 2022 Minh Nguyen, Nicolas Wu

Neural networks are typically represented as data structures that are traversed either through iteration or by manual chaining of method calls.

Linearly Qualified Types: Generic inference for capabilities and uniqueness

no code implementations10 Mar 2021 Jean-Philippe Bernardy, Richard Eisenberg, Csongor Kiss, Arnaud Spiwack, Nicolas Wu

A linear parameter must be consumed exactly once in the body of its function.

Programming Languages

Profunctor Optics: Modular Data Accessors

no code implementations31 Mar 2017 Matthew Pickering, Jeremy Gibbons, Nicolas Wu

However, it is not obvious how to combine data accessors, in such a way that data accessors for a compound data structure are composed out of smaller data accessors for the parts of that structure.

Programming Languages

Cannot find the paper you are looking for? You can Submit a new open access paper.