3 papers
cs.PL2023
Full Abstraction for Free
Marco Paviotti, Nicolas Wu
Structured recursion schemes such as folds and unfolds have been widely used for structuring both functional programs and program semantics. In this context, it has been customary…
cs.PL2022
Folding over Neural Networks
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. However, a deeper analysis reveals t…
cs.PL2021
A Specification for Typed Template Haskell
Matthew Pickering, Andres Löh, Nicolas Wu
Multi-stage programming is a proven technique that provides predictable performance characteristics by controlling code generation. We propose a core semantics for Typed Template H…