Re: infinite structures, lazy evaluation

Article View: comp.lang.prolog

Article #4019

#4019

From: "Steve" Stevenson
Date: Mon, 17 Apr 1989 12:38

12 lines
898 bytes

From article <1770@etive.ed.ac.uk>, by jha@lfcs.ed.ac.uk (Jamie Andrews):

> ....  The only real problem is defining what
> an infinite list is, which is a problem both in the logical and
> the functional case.

I thought Dana Scott had this all worked out.  Ya'll are working too hard.

-- 
Steve (really "D. E.") Stevenson           steve@hubcap.clemson.edu
Department of Computer Science,            (803)656-5880.mabell
Clemson University, Clemson, SC 29634-1906

Technical Details

Message-ID: <5133@hubcap.clemson.edu>

Path:

arc1-ca.pugleaf.net!utzoo!dptcdc!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!uunet!ncrlnk!ncrcae!hubcap!steve

References: <1770@etive.ed.ac.uk>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!dptcdc!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!cs.utexas.edu!uunet!ncrlnk!ncrcae!hubcap!steve
From: steve@hubcap.clemson.edu ("Steve" Stevenson)
Newsgroups: comp.lang.prolog
Subject: Re: infinite structures, lazy evaluation
Message-ID: <5133@hubcap.clemson.edu>
Date: 17 Apr 89 12:38:11 GMT
References: <1770@etive.ed.ac.uk>
Organization: Clemson University, Clemson, SC
Lines: 12

Reply to Parent Message