Types for Flexible Objects.

Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. Smith

Browse the full APLAS paper archive.