From: ToRA <tristan.allwood@...>
Date: 2006-01-02T20:17:57+09:00
Subject: Re: (Real) Primitive Ruby Generics support

Hey,

Well I'm a uni student (with a loose interest in type-theory) and its
cropped up in some literature I'm reading.  Usually under the guise of
structural sub-typing and nominal sub-typing; I recall some discussion
on Lambda-the-ultimate on whether structural subtyping == duck typing.
(http://lambda-the-ultimate.org/node/view/1201)

Also see the wikipedia article on subtype
(http://en.wikipedia.org/wiki/Subtype), certainly in published papers
in the typing area these terms come up.

HTH,

Regards,

Tris.