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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:10
Onward! Essays IOnward! Essays at Zürich 2
13:30
50m
Talk
How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard
Onward! Essays
DOI Pre-print File Attached
14:20
50m
Talk
The Left Hand of Equals
Onward! Essays
James Noble Victoria University of Wellington, New Zealand, Andrew Black Portland State University, Kim Bruce Pomona College, Michael Homer Victoria University of Wellington, Mark Miller Google Inc.
DOI