1. A well-known representation of monoids and its application to the function 'vector reverse'. (8th August 2022) Authors: SWIERSTRA, WOUTER 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) ↗
2. Heterogeneous binary random-access lists. (7th April 2020) Authors: SWIERSTRA, WOUTER Journal: Journal of functional programming Issue: Volume 30(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Special issue on Programming with Dependent Types Editorial. (2017) Authors: SWIERSTRA, WOUTER; DYBJER, PETER Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Special issue on Programming with Dependent Types Editorial. (8th June 2017) Authors: SWIERSTRA, WOUTER; DYBJER, PETER Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗