Posted by Martin on February 08, 2004 at 17:35:10:
I was talking with Kevin, and he pointed out that the HW specification says:
"An interface can now be represented as a partial function t : (Identifier {0,1})* -> S "
Since the Identifier of the methods is listed in the representation of the interface, does that mean that for an interface X to be a subtype of interface Z, the methods in X _must_ have the same name as the methods in Z (as well as all the other stuff?).