Z specification of Haskell-like continuations

Thread View: comp.specification.z

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by howard s goodman Tue, 12 Jan 1993 10:02

#146

Author: 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 |
+--------------------+--------------------------------------------------------+

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads