An algebraic perspective on behavioral specifications in effectful languages Danel Ahman LFCS, University of Edinburgh PhD work supervised by Gordon Plotkin and Alex Simpson - Simpson University - Document - PDFSEARCH.IO

First Page	Meta Content
	An algebraic perspective on behavioral specifications in effectful languages Danel Ahman LFCS, University of Edinburgh PhD work supervised by Gordon Plotkin and Alex Simpson Add to Reading List Document Date: 2018-03-25 20:15:13 Open Document File Size: 394,80 KB Share Result on Facebook

An algebraic perspective on behavioral specifications in effectful languages Danel Ahman LFCS, University of Edinburgh PhD work supervised by Gordon Plotkin and Alex SimpsonAdd to Reading List