Re: paper available: Finite-Rank Polymorphic Lambda Calculus
This is a comment on my previous message sent to "types" and "sml-list".
Files ending with the ".gz" suffix is compressed with the "gzip" program,
which is available via anonymous FTP from the host PREP.AI.MIT.EDU in the
directory "pub/gnu" with filenames "gzip-1.2.4.msdos.exe",
"gzip-1.2.4.shar", "gzip-1.2.4.tar", and "gzip-1.2.4.tar.gz".
I have also made an uncompressed version of the file
"93-017-finite-rank.ps" available in the same location.
Joe Wells <email@example.com>
Member of the League for Programming Freedom --- send e-mail for details