« For Wolfram | Main | Dynamic Languages »
May 01, 2005
Formal model for traits
Along with Aspects, Traits seem to be quite hot on the programming language scene these days. They certainly help capture program intensions better than traditional constructs. But a formal basis really helps to understand what is really going on.
Posted by Carette at May 1, 2005 10:08 AM