Z specification of Haskell-like continuations

Article View: comp.specification.z

Article #143

Back to comp.specification.z Previous Next

#143

From: Howard S. Goodman
Date: Fri, 08 Jan 1993 11:30

9 lines
942 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: <C0J9AI.DpE@cs.bham.ac.uk>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!bhamcs!hsg

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!bhamcs!hsg
From: hsg@cs.bham.ac.uk (Howard S. Goodman)
Newsgroups: comp.specification.z
Subject: Z specification of Haskell-like continuations
Message-ID: <C0J9AI.DpE@cs.bham.ac.uk>
Date: 8 Jan 93 11:30:17 GMT
Sender: news@cs.bham.ac.uk
Organization: School of Computer Science, University of Birmingham, England
Lines: 9
Originator: hsg@fat-controller
Nntp-Posting-Host: fattie