Re: paper available: Finite-Rank Polymorphic Lambda Calculus

• To: types@uk.ac.glasgow.dcs, sml-list@edu.cmu.cs
• Subject: Re: paper available: Finite-Rank Polymorphic Lambda Calculus
• From: jbw@edu.bu.cs (Joe Wells)
• Date: Tue, 30 Nov 93 15:27:34 -0500
• Approved: types@dcs.gla.ac.uk

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

• Prev: paper available: Finite-Rank Polymorphic Lambda Calculus
• Next: Summer course on Isabelle
• Index(es):
  • Main
  • Thread