Update Monads: Cointerpreting Directed Containers∗ Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh - Laboratory for Foundations of Computer Science - Document - PDFSEARCH.IO

First Page	Meta Content
	Update Monads: Cointerpreting Directed Containers∗ Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Document Date: 2018-03-25 20:15:13 Open Document File Size: 537,24 KB Share Result on Facebook

Update Monads: Cointerpreting Directed Containers∗ Danel Ahman1 and Tarmo Uustalu2 1 Laboratory for Foundations of Computer Science, University of EdinburghAdd to Reading List