Return-Path: <John.Harrison-request@cl.cam.ac.uk>
Delivery-Date: 
Received: from antares.mcs.anl.gov (actually mcs.anl.gov !OR! owner-qed@mcs.anl.gov) 
          by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk;
          Mon, 10 Jul 1995 22:10:32 +0100
Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10) 
          id QAA20568 for qed-out; Mon, 10 Jul 1995 16:01:26 -0500
Received: from inet-gw-1.pa.dec.com (inet-gw-1.pa.dec.com [16.1.0.22]) 
          by antares.mcs.anl.gov (8.6.10/8.6.10) with SMTP id QAA20560;
          Mon, 10 Jul 1995 16:01:19 -0500
From: lamport@pa.dec.com
Received: from hemlock.pa.dec.com by inet-gw-1.pa.dec.com (5.65/24Feb95) 
          id AA12395; Mon, 10 Jul 95 13:43:54 -0700
Received: by hemlock.pa.dec.com; id AA19258; Mon, 10 Jul 1995 13:42:03 -0700
Message-Id: <9507102042.AA19258@hemlock.pa.dec.com>
To: qed@mcs.anl.gov
Cc: distribution:; (see end of body)
Subject: "Types are Not Harmless"
Date: Mon, 10 Jul 95 13:42:02 -0700
X-Mts: smtp
Sender: owner-qed@mcs.anl.gov
Precedence: bulk


The paper "Types are Not Harmless", a completely rewritten version of
"Types Considered Harmful", is now available on the Web.  It can
be found under the "Related Issues" section of the TLA Web page

   http://www.research.digital.com/SRC/tla/

or obtained directly from

   http://www.research.digital.com/SRC/tla/types.ps       (Postscript)
   http://www.research.digital.com/SRC/tla/types.dvi      (DVI file)
   http://www.research.digital.com/SRC/tla/all-types.tex  (LaTeX source)

Leslie Lamport

%%% overflow headers %%%
Cc: rpg@cisr.anu.edu.au, bill@ora.on.ca, yozo@yuri.ipc.chiba-u.ac.jp,
        piotr@cs.ualberta.ca, prank@cs.ut.ee, kerber@cs.uni-sb.de,
        boyer@cli.com, jmc@sail.stanford.edu, mccune@mcs.anl.gov,
        holmes@diamond.idbsu.edu, jt@linus.mitre.org, jackson@cs.cornell.edu,
        kapur@cs.albany.edu, leivant@cs.indiana.edu,
        Roman Matuszewski <romat@plearn.edu.pl>, peter@opus.geg.mot.com,
        gore@iam.unibe.ch, yozo@aohakobe.ipc.chiba-u.ac.jp,
        holmes@catseye.idbsu.edu, strecker@ares.informatik.uni-ulm.de,
        bylinski@cs.ualberta.ca, filomat@plearn.edu.pl, amaz@ipipan.waw.pl,
        tarlecki@mimuw.edu.pl, tarlecki@ipipan.waw.pl, spiez@impan.gov.pl,
        tlr@sail.stanford.edu, P23879@gegpo11.geg.mot.com,
        john.harrison@cl.cam.ac.uk, strecker@informatik.uni-ulm.de,
        trybulec@cksr.ac.bialystok.pl, dahn@mathematik.hu-berlin.de
%%% end overflow headers %%%