Grace traits are intended to be stateless, immutable, free of fields, and without side effects when used, so that it does not matter how many times a trait is repeatedly included into an object, in what order, or by what chain of parents. We show constructions of traits recovering each of these excluded properties.
|Traitorous Traits Email (email.txt)||8KiB|
Tue 19 Jul Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
|13:50 - 14:20|
GRACELink to publication File Attached
|14:20 - 14:50|
|14:50 - 15:20|
Michael KöllingUniversity of Kent