Draft Thesis Proposal

Keith Wansbrough
Department of Computer Science
University of Auckland
Private Bag 92019
Auckland, New Zealand
kwan001@cs.auckland.ac.nz
|http://www.cs.auckland.ac.nz/ kwan001|

August 28, 1996

Abstract:

In this paper, I summarise where I'm up to at the moment and what I propose to do next.

• Introduction
• Modular Monadic Semantics à la Liang, Hudak and Jones
• Modular Monadic Semantics à la Espinosa
• Action Semantics
• A representation of AS in MMS
• Some difficulties
• Conclusion
• References
• About this document ...