1. Extracting functional programs from Coq, in Coq. (22nd August 2022) Authors: ANNENKOV, DANIL; MILO, MIKKEL; NIELSEN, JAKOB BOTSCH; SPITTERS, BAS Journal: Journal of functional programming Issue: Volume 32(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗