[racket] Typed racket puzzle (ii)

From: Norman Gray (norman at astro.gla.ac.uk)
Date: Wed Aug 17 10:02:12 EDT 2011

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 Gray  :  http://nxg.me.uk
School of Physics and Astronomy, University of Glasgow, UK

Posted on the users mailing list.