Z specification of Haskell-like continuations

Article View: comp.specification.z

Article #146

Back to comp.specification.z Previous Next

#146

From: howard s goodman
Date: Tue, 12 Jan 1993 10:02

9 lines
852 bytes

Has anyone ever tried specifying continuations in Z, especially the kind of
input/output continuations which are common in Haskell?

Any information or ideas, no matter how sketchy, would be appreciated.

+--------------------+--------------------------------------------------------+
| howard s goodman   |  school of computer science - university of birmingham |
| hsg@cs.bham.ac.uk  |			     - BIRMINGHAM - B15 2TT - england |
+--------------------+--------------------------------------------------------+

Technical Details

Message-ID: <4250.9301121002@fat-controller.cs.bham.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!comlab.ox.ac.uk!cs.bham.ac.uk

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!comlab.ox.ac.uk!cs.bham.ac.uk
From: H.S.Goodman@cs.bham.ac.uk (howard s goodman)
Newsgroups: comp.specification.z
Subject: Z specification of Haskell-like continuations
Message-ID: <4250.9301121002@fat-controller.cs.bham.ac.uk>
Date: 12 Jan 93 10:02:58 GMT
Lines: 9
X-Mailer: mail-news 2.0.3