First Page | Document Content | |
---|---|---|
Date: 2018-03-25 20:15:13 | 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 ListSource URL: danelahman.github.ioDownload Document from Source WebsiteFile Size: 394,80 KBShare Document on Facebook |