Modes, Values, and Expressions
Abstract
NO ABSTRACT SUPPLIED
Related papers
- Scripted signal functions Haskell 2020
- ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs POPL 2023
- Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator TOPLAS 2008
- Efficient Dual-Numbers Reverse AD via Well-Known Program Transformations POPL 2023
- Mode Crossing ICFP 2026
- Data Race Freedom à la Mode POPL 2025
- Parallel dual-numbers reverse AD JFP 2025
- A practical mode system for recursive definitions POPL 2021