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

Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett
2015
LIPIcs, Volume 32, SNAPL'15, Complete Volume
doi:10.4230/lipics.snapl.2015 fatcat:ljoxwa7wp5achn2tbrmpriez7y