Date: Thu, 17 Aug 2006 21:16:30 +0000 (UTC) From: Martin Wilke <miwi@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/lang Makefile ports/lang/imp-interpreter Makefile distinfo pkg-descr Message-ID: <200608172116.k7HLGUx6095122@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
miwi 2006-08-17 21:16:30 UTC
FreeBSD ports repository
Modified files:
lang Makefile
Added files:
lang/imp-interpreter Makefile distinfo pkg-descr
Log:
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)
Revision Changes Path
1.509 +1 -0 ports/lang/Makefile
1.1 +43 -0 ports/lang/imp-interpreter/Makefile (new)
1.1 +3 -0 ports/lang/imp-interpreter/distinfo (new)
1.1 +14 -0 ports/lang/imp-interpreter/pkg-descr (new)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200608172116.k7HLGUx6095122>