SPLASH 2014
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

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