APLAS 2014Types for Flexible ObjectsZachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. SmithDOI 10.1007/978-3-319-12736-1_6dblpBibTeXNo abstract available.