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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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