K 10
svn:author
V 4
miwi
K 8
svn:date
V 27
2006-08-17T21:16:30.000000Z
K 7
svn:log
V 643
IMP is a monadic style implementation of the semantics of the (very simple)
language IMP, "plain" the implementation with explicit passing of state.

The semantics of the IMP-language is presented in the book:

 "The Formal Semantics of Programming Languages" by Glynn Winskel
    (1993, The MIT Press).

 for more details on monads, see Philip Wadler's page on:

 http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html#combining-monads

 Author: Markus Mottl <markus.mottl@gmail.com>
 WWW:    http://www.ocaml.info/home/ocaml_sources.html

PR:		ports/102103
Submitted by:	Stanislav Sedov <ssedov@mbsd.msk.ru>
Approved by:	krion (mentor)

END