[plt-scheme] The perfect teaching language--Is this too much to ask for?

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Mon Jun 15 13:27:35 EDT 2009

Yes, that's the paper.  Your reading of the setup is (not
surprisingly!) right.  And yes, it is a translation of Russell's
paradox into the type system.


Posted on the users mailing list.