id: 38cc0f7c-5c3f-45d9-b0f0-4ce5041c9dbd url: http://pl.cs.jhu.edu/big-bang/types-for-flexible-objects.pdf
