Quick question regarding indirection cells...

[Philip Wadler]

I suspect indirection nodes are treated in Wadsworth's original
thesis on the subject.  There are few copies available, but the
Oxford library has the original, perhaps you can ask someone there
to check for you.  -- P

-----------------------------------------------------------------------
Philip Wadler                             wadler@research.bell-labs.com
Bell Laboratories                   http://www.cs.bell-labs.com/~wadler
Lucent Technologies                             office: +1 908 582 4004
600 Mountain Ave, room 2T-402                      fax: +1 908 582 5857
Murray Hill, NJ 07974-0636  USA                   home: +1 908 626 9252
-----------------------------------------------------------------------