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

Jonathan A Rees
Mon, 22 Oct 2001 19:07:14 -0400

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

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

That should be

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

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.