1. A relational logic for higher-order programs. (2019) Authors: AGUIRRE, ALEJANDRO; BARTHE, GILLES; GABOARDI, MARCO; GARG, DEEPAK; STRUB, PIERRE-YVES Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. A SQL to C compiler in 500 lines of code. (2019) Authors: ROMPF, TIARK; AMIN, NADA Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. A SQL to C compiler in 500 lines of code. (3rd June 2019) Authors: ROMPF, TIARK; AMIN, NADA Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. A theory of RPC calculi for client–server model. (2019) Authors: CHOI, KWANGHOON; CHANG, BYEONG-MO Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. A theory of RPC calculi for client–server model. (22nd March 2019) Authors: CHOI, KWANGHOON; CHANG, BYEONG-MO Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Constructive Galois Connections. (2019) Authors: DARAIS, DAVID; HORN, DAVID VAN Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Folding left and right over Peano numbers. (17th April 2019) Authors: DANVY, OLIVIER Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Folding left and right over Peano numbers. (2019) Authors: DANVY, OLIVIER Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Gradual session types. (2019) Authors: IGARASHI, ATSUSHI; THIEMANN, PETER; TSUDA, YUYA; VASCONCELOS, VASCO T.; WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. How to find a fake coin. (2019) Authors: BIRD, RICHARD S. Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗