Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!sys-uea!jrk
From: jrk@sys.uea.ac.uk (Richard Kennaway)
Newsgroups: comp.lang.scheme
Subject: Re: ML-like type-checker for Scheme subset?
Message-ID: <1065@sys.uea.ac.uk>
Date: 14 May 91 08:53:36 GMT
References: <5710@goanna.cs.rmit.oz.au>
Sender: jrk@sys.uea.ac.uk
Lines: 10

In <5710@goanna.cs.rmit.oz.au> ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe) writes:

>    -- the idea that programming language implementations are entitled
>       to quietly deliver incorrect results (Pascal implementations
>       are often like this, and C implementations almost always are)

What are you referring to here?

Richard Kennaway          SYS, University of East Anglia, Norwich, U.K.
Internet:  jrk@sys.uea.ac.uk		uucp:  ...mcsun!ukc!uea-sys!jrk