ALU capability (was Re: [E-Lang] Authority -- what is its dual?)

Jonathan A Rees jar8@mumble.net
Mon, 22 Oct 2001 19:07:14 -0400


   Date: Mon, 22 Oct 2001 14:47:05 -0700
   From: "Mark S. Miller" <markm@caplet.com>

   Are you referring to JAR's paper on opaque types?  It's at

     http://192.168.2.1/mumble.net/jar/pubs/scheme-of-things/opaque-types.ps

That should be

  http://mumble.net/jar/pubs/scheme-of-things/opaque-types.ps

The spurious private IP address was an artifact of cut-and-paste email
composition.

I wrote the paper a while ago, purely in the context of Scheme and
before I had thought much about security, so it may seem silly in the
context of this discussion.

-JAR