Update monads: Cointerpreting directed containers Danel Ahman, U. of Edinburgh Tarmo Uustalu, Inst. of Cybernetics, Tallinn TYPES 2013, 23–26 April 2013 - Cybernetics - Document - PDFSEARCH.IO

First Page	Meta Content
	Update monads: Cointerpreting directed containers Danel Ahman, U. of Edinburgh Tarmo Uustalu, Inst. of Cybernetics, Tallinn TYPES 2013, 23–26 April 2013 Add to Reading List Document Date: 2018-03-25 20:15:13 Open Document File Size: 147,15 KB Share Result on Facebook

Update monads: Cointerpreting directed containers Danel Ahman, U. of Edinburgh Tarmo Uustalu, Inst. of Cybernetics, Tallinn TYPES 2013, 23–26 April 2013Add to Reading List