Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Mon 20 Oct 2014 11:00 - 11:30 at Salon G - Research Papers Chair(s): Marco Servetto

Abstract: The Grace programming language includes structural type tests and gradual typing. We demonstrate that this combination results in a mismatch. In particular, structural type tests (but not structural type assertions) can cause programs to give different results after typing annotations are added. We review the current uses of type tests in Grace programs and propose potential ways forward, all of which have their own drawbacks.

Mon 20 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

10:30 - 12:00: FOOL - Research Papers at Salon G
Chair(s): Marco ServettoVictoria University of Wellington
fool201410:30 - 11:00
Tim WoodImperial College, Sophia DrossopoulouImperial College London
File Attached
fool201411:00 - 11:30
John BoylandUniversity of Wisconsin, Milwaukee
File Attached
fool201411:30 - 12:00
File Attached