[Prev][Next][Index][Thread]

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.

-- 
Enjoy,

Joe Wells <jbw@cs.bu.edu>
Member of the League for Programming Freedom --- send e-mail for details