| |
Due on Wednesday, October 24.
Continuation Semantics
- Implement the semantics specification of Section 5.8 in the text (i.e. the one with
both success and failure continuations) in Haskell. Test your
implementation on a couple of non-trivial programs that demonstrate proper
input, output, and failure.
- Do Exercise 5.4 in Reynolds.
- Modify your implementation in (1) above so as to incorporate the
catch-in-with command from
Exercises 5.4. Test your implementation.
Solution: Continuation Semantics.
Related: Direct Semantics
|