Internet Archive Scholar

LIPIcs, Volume 32, SNAPL'15, Complete Volume [article]

Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett
2015

Preserved Fulltext

Web Archive Capture PDF (29.3 MB)
https://web.archive.org/web/20180521100701/http://drops.dagstuhl.de/opus/volltexte/2015/5046/pdf/lipics-vol32-snapl2015-complete.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL. The file type is application/pdf.

LIPIcs, Volume 32, SNAPL'15, Complete Volume
doi:10.4230/lipics.snapl.2015 fatcat:ljoxwa7wp5achn2tbrmpriez7y
Open Access
Citation

Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett. "LIPIcs, Volume 32, SNAPL'15, Complete Volume." (2015)