FTP Search

Directory

Content Search

IMP

Monadic interpreter of a simple imperative language

/Main/FreeBSD/8-current/amd64/

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

Info:

Homepage:	-
Package version:	-
Architecture:	amd64
Distribution:	FreeBSD 8-current
Filename:	IMP-1.0.7_1.tbz

Browse inside IMP-1.0.7_1.tbz:

Download IMP-1.0.7_1.tbz:

2007-04-24  ftp://ftp5.uk.freebsd.org/pub/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-04-24  ftp://ftp.tw.freebsd.org/pub/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-04-22  ftp://ftp.tw.freebsd.org/pub/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-02-23  ftp://ftp.itb.ac.id/pub/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-04-24  ftp://ftp.sfc.wide.ad.jp/pub/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-04-22  ftp://ftp.sfc.wide.ad.jp/pub/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-04-24  ftp://ftp.ics.es.osaka-u.ac.jp/mirrors/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-04-24  ftp://ftp.aist-nara.ac.jp/0/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-04-22  ftp://ftp.aist-nara.ac.jp/0/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-04-24  ftp://ftp.twaren.net/pub/BSD/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-04-22  ftp://ftp.twaren.net/pub/BSD/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-04-24  ftp://ftp.univ-angers.fr/pub/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-04-22  ftp://ftp.univ-angers.fr/pub/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-04-24  ftp://ftp.lip6.fr/pub/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-04-22  ftp://ftp.lip6.fr/pub/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-04-24  ftp://ftp.luth.se/pub/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-04-22  ftp://ftp.luth.se/pub/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-04-22  ftp://ftp.ncnu.edu.tw/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz