Onward! 2016
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Wed 2 Nov 2016 14:20 - 15:10 at Zürich 2 - Onward! Essays I

When is one object equal to another object? While object \emph{identity} is fundamental to object-oriented systems, object \textit{equality}, although tightly intertwined with identity, is harder to pin down. The distinction between identity and equality is reflected in object-oriented languages, almost all of which provide two variants of equality'', while some provide many more. Programmers can usually override at least one of these forms of equality, and can always define their own methods to distinguish their own objects.

This essay takes a reflexive journey through fifty years of identity and equality in object-oriented languages, and ends somewhere we did not expect: a left-handed'' equality relying on trust and grace.

#### Wed 2 Nov Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

 13:30 - 15:10: Onward! Essays - Onward! Essays I at Zürich 2 13:30 - 14:20Talk How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard DOI Pre-print File Attached 14:20 - 15:10Talk The Left Hand of EqualsJames NobleVictoria University of Wellington, New Zealand, Andrew BlackPortland State University, Kim BrucePomona College, Michael HomerVictoria University of Wellington, Mark MillerGoogle Inc. DOI