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