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:

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

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

Download IMP-1.0.7_1.tbz:

2008-08-08  ftp://ftp.man.szczecin.pl/pub/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2007-06-21  ftp://ftp.cse.buffalo.edu/mirror/BSD/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2007-08-12  ftp://ftp2.tw.freebsd.org/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2007-08-12  ftp://ftp.cs.rpi.edu/mirrors/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2007-08-12  ftp://ftp.udc.es/mirror/freebsd/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-10  ftp://ftp.gazi.edu.tr/mirrors/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-10  ftp://128.118.2.96/pub/.mirrors/1/ftp.freebsd.org/pub/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-10  ftp://ftp.filearena.net/mnt5/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-10  ftp://ftp.ussg.iu.edu/pub/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-10  ftp://192.87.102.42/vol/3/freebsd-core/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-10  ftp://192.87.102.43/vol/3/freebsd-core/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-06-19  ftp://213.24.208.27/pub/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-09  ftp://simonpic/pub/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-09  ftp://ftp.pucpr.br/FreeBSD/ports/amd64/packages-current/All/IMP-1.0.7_1.tbz
2008-08-10  ftp://ftp.au.freebsd.org/disks/la2/.p/freebsd/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-10  ftp://ftp.internat.freebsd.org/pub/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-10  ftp://ftp.dk.freebsd.org/pub/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-09  ftp://ftp.lug.udel.edu/pub/freebsd/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-09  ftp://ftp.pucpr.br/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-10  ftp://194.67.80.52/pub/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz
2008-08-09  ftp://ftp.pwsz.elblag.pl/vol.0/FreeBSD/ports/amd64/packages-8-current/All/IMP-1.0.7_1.tbz