Heapless Functional Programming. - Ellis Kesterton; Edwin C. Brady (TFP, 2025)