Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!shelby!agate!ucbvax!cs.hull.ac.uk!rst From: rst@cs.hull.ac.uk (Rob Turner) Newsgroups: comp.lang.functional Subject: Re: Views revisited Message-ID: <17992.9102181734@olympus.cs.hull.ac.uk> Date: 18 Feb 91 17:34:33 GMT Sender: daemon@ucbvax.BERKELEY.EDU Lines: 7 From the example given, "views" look enormously like algebraic specifications of abstract data types. Is this correct? Is this another instance of inventing a new name for something which already exists, in order to confuse everyone? Rob