 |
| FTP Search |
| Directory (beta) |
| Content Search (beta) |
|
|
|
|
IMP - Monadic interpreter of a simple imperative language
/Main/FreeBSD/6.3-release/i386/
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
Homepage: - Package version: - Architecture: i386 Distribution: FreeBSD 6.3-release Filename: IMP-1.0.7_1.tbz
Browse inside IMP-1.0.7_1.tbz:
pkg://IMP-1.0.7_1.tbz:61377/ downloads52 B 2007-11-30+COMMENT view 1000+ mirrors
522 B 2007-11-30+CONTENTS view 230+ mirrors
618 B 2007-11-30+DESC view 114 mirrors
17.09 KB 2007-11-30+MTREE_DIRS view 1000+ mirrors
[DIR]bin/ 1000+ twin directories
[DIR]share/ 1000+ twin directories
Download IMP-1.0.7_1.tbz:
2007-12-01 ftp://ftp.stu.edu.tw/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-12-01 ftp://ftp.cse.buffalo.edu/mirror/BSD/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-12-01 ftp://194.186.254.27/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-12-01 ftp://194.67.80.52/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-12-01 ftp://ftp.sh.cvut.cz/storage/1/freebsd/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-12-01 ftp://ftp.radio-msu.net/.1/ftp.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-12-01 ftp://ftp.rmt.ru/.1/ftp.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-12-01 ftp://ftp.aha.ru/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-12-01 ftp://yagr.zenon.net/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-12-01 ftp://ftp12.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.mtu.ru/.3/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.tu-chemnitz.de/.SAN0/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.free.fr/.mirrors1/ftp.freebsd.org/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.csie.ncu.edu.tw/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp2.sk.freebsd.org/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp6.tw.freebsd.org/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.coe.ufrj.br/j/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.esat.net/mirrors/.1/ftp.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.nerim.net/mirrors/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.nsu.ru/mirrors/ftp.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.filearena.net/mnt5/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.za.freebsd.org/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://128.118.2.96/pub/.mirrors/1/ftp.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.cronyx.ru/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.de.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.dk.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.es.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.freebsdchina.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.gazi.edu.tr/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.gwdg.de/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.in2p3.fr/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.int.ru/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.internat.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.jpix.ad.jp/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.lt.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.man.szczecin.pl/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.mgts.by/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.sfc.wide.ad.jp/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.uvsq.fr/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp13.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp5.jp.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp5.uk.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp9.freebsd.org/pub/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.fagskolen.gjovik.no/pub/FreeBSD/releases/i386/6.3-RELEASE/packages/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.lug.udel.edu/pub/freebsd/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.informatik.rwth-aachen.de/pub/mirror/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.uni-hannover.de/pub/mirror/bsd/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.ural.ru/pub/mirrors/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.cerias.purdue.edu/pub/os/FreeBSD/ports/i386/packages-6.3-release/All/IMP-1.0.7_1.tbz
2007-11-30 ftp://ftp.cerias.purdue.edu/pub/os/FreeBSD/ports/i386/packages-6.3-release/lang/IMP-1.0.7_1.tbz
| Results 1 - 1 |