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
|13:50 - 14:20|
|Link to publication File Attached|
|14:20 - 14:50||File Attached|
|14:50 - 15:20|
Michael KöllingUniversity of Kent