Anthony, hello. On 2011 Aug 17, at 14:40, Anthony Cowley wrote:
> Norman, one resource on this topic with an ML flavor is > <http://www.cis.upenn.edu/~bcpierce/sf/Subtyping.html> Thanks -- duly bookmarked. That looks nice, as both maths and as pedagogy. Best wishes, Norman -- Norman Gray : http://nxg.me.uk School of Physics and Astronomy, University of Glasgow, UK _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
