FTP Search

Directory

Content Search

IMP

Monadic interpreter of a simple imperative language

/Main/FreeBSD/7-stable/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 7-stable
Filename:	IMP-1.0.7_1.tbz

Browse inside IMP-1.0.7_1.tbz:

pkg://IMP-1.0.7_1.tbz:76313/  downloads

[DIR]share/  65535+ twin directories
[DIR]bin/  65535+ twin directories
17.09 KB  2007-08-12+MTREE_DIRS  view  65535+ mirrors
618 B  2007-08-12+DESC  view  113 mirrors
522 B  2007-08-12+CONTENTS  view  257+ mirrors
52 B  2007-08-12+COMMENT  view  8144+ mirrors

Download IMP-1.0.7_1.tbz:

2007-06-16  ftp://ftp.cse.buffalo.edu/mirror/BSD/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-06-14  ftp://ftp.gazi.edu.tr/pub/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-06-14  ftp://ftp.filearena.net/mnt5/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-06-14  ftp://192.87.102.42/vol/3/freebsd-core/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-06-14  ftp://213.24.208.27/pub/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-06-14  ftp://194.186.254.27/pub/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-06-14  ftp://ftp.dk.freebsd.org/pub/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz
2008-06-13  ftp://ftp12.freebsd.org/pub/FreeBSD/ports/amd64/packages-7-stable/All/IMP-1.0.7_1.tbz