CHAD for expressive total languages - Lucatelli Nunes, Fernando; Vákár, Matthijs (Mathematical structures in computer science, 2023)
Keywords: Algorithms; Differentiation; Functional programming; Programming languages; Semantics