Types for Flexible Objects. - Zachary Palmer; Pottayil Harisanker Menon; Alexander Rozenshteyn; Scott F. Smith 001 (APLAS, 2014)