BeyondTypes-Noble2016 ConferenceProceedings Script To Program Evolution Workshop Beyond Types: Extending the Gradual Guarantee 2016 https://michael.homer.nz/Publications/STOP2016 Noble James Homer Michael Jones Timothy Drossopolou Sophia Black Andrew P. Bruce Kim B.