53 22 132 8 207 document 132 appendix.zip application/zip 147ca2a676af33395dd2528dd154c105 MD5 1565757 2015-07-15 08:36:06 http://edata.bham.ac.uk/53/1/appendix.zip 53 1 1 application/zip application/zip en public cc_by_4

appendix.zip

http://eprints.org/relation/hasVolatileVersion http://edata.bham.ac.uk/id/document/225842 http://eprints.org/relation/hasVersion http://edata.bham.ac.uk/id/document/225842 http://eprints.org/relation/hassmallThumbnailVersion http://edata.bham.ac.uk/id/document/225842 http://eprints.org/relation/hasVolatileVersion http://edata.bham.ac.uk/id/document/225843 http://eprints.org/relation/hasVersion http://edata.bham.ac.uk/id/document/225843 http://eprints.org/relation/haspreviewThumbnailVersion http://edata.bham.ac.uk/id/document/225843 133 3 208 document 133 small.png image/png 4fa3cad1f0df8774eb8bdea0638cb361 MD5 3832 2015-08-06 15:55:24 http://edata.bham.ac.uk/53/2/small.png 53 2 2 image/png thumbnail_small Thumbnail ZIP Contents conversion from application/zip to thumbnail_small en public

small.png

data http://eprints.org/relation/isVersionOf http://edata.bham.ac.uk/id/document/225827 http://eprints.org/relation/isVolatileVersionOf http://edata.bham.ac.uk/id/document/225827 http://eprints.org/relation/issmallThumbnailVersionOf http://edata.bham.ac.uk/id/document/225827 134 3 209 document 134 preview.png image/png 6f42a45ac81e2932b6f2a8f9a4a06c17 MD5 87620 2015-08-06 15:55:25 http://edata.bham.ac.uk/53/3/preview.png 53 3 3 image/png thumbnail_preview Thumbnail ZIP Contents conversion from application/zip to thumbnail_preview en public

preview.png

data http://eprints.org/relation/isVersionOf http://edata.bham.ac.uk/id/document/225827 http://eprints.org/relation/isVolatileVersionOf http://edata.bham.ac.uk/id/document/225827 http://eprints.org/relation/ispreviewThumbnailVersionOf http://edata.bham.ac.uk/id/document/225827 archive 4 disk0/00/00/00/53 2015-07-15 12:33:18 2018-05-25 15:34:56 2018-05-25 10:58:08 dataset show 0 Fredriksson Hans Olle Viktor unpub QA75 10col_ephy This is the online appendix for Olle Fredriksson's PhD thesis titled: "Distributing abstract machines", from 2015. This appendix consists the source code for four compilers, and Agda formalisations of two of them. The most feature-complete compiler (based on DCESH) is in the floskel directory. The Agda formalisations are in the krivine (formalising DKrivine) and secd (formalising DCESH) directories. The goi and games directories contains compilers based on the Geometry of Interaction and game semantics. For further information, see the README files in the sub-directories. 2015-12 published University of Birmingham 10.25500/eData.bham.00000053 Software research-data@contacts.bham.ac.uk School of Computer Science na na na TRUE thesis http://etheses.bham.ac.uk/6196/ IsSupplementTo