Combining computational effects: sum and tensor (2006)

by M Hyland, G D Plotkin, A J Power