Thread View: comp.lang.functional
3 messages
3 total messages
Started by Jeppe Traberg
Fri, 28 Aug 1992 14:17
ibmpc versions of sml and caml wanted
Author: Jeppe Traberg
Date: Fri, 28 Aug 1992 14:17
Date: Fri, 28 Aug 1992 14:17
10 lines
509 bytes
509 bytes
Can anyone help me with pc-versions of sml and caml. Kind regards Jeppe Traberg Center for Applied Computer Science Copenhagen University email jt@pc.ibt.dk
Re: ibmpc versions of sml and caml wanted
Author: M.Dziadzka
Date: Mon, 31 Aug 1992 07:24
Date: Mon, 31 Aug 1992 07:24
11 lines
967 bytes
967 bytes
In article <1992Aug28.141758.91@uts.uni-c.dk> okokjt@uts.uni-c.dk (Jeppe Traberg) writes: >Can anyone help me with pc-versions of sml and caml. Try ftp.uni-regensburg.de /software/pc/sprachen/sml Mirko -- Mirko Dziadzka e-mail: try one of: Humboldt-University Berlin, dziadzka@hp832.informatik.hu-berlin.de Department of Computer Science dziadzka@informatik.hu-berlin.de
Re: ibmpc versions of sml and caml wanted
Author: Laurent Bloch
Date: Tue, 01 Sep 1992 13:29
Date: Tue, 01 Sep 1992 13:29
124 lines
5921 bytes
5921 bytes
>
Subject: [comp.lang.functional...] CAML V2-6.1 on nuri.inria.fr
> >Organization: INRIA Rocquencourt France
> >Keywords: functional ML
Approved: emv@ox.com (Edward Vielmetti)
Xref: cnam comp.archives:1107 comp.lang.functional:591
X-Original-Newsgroups: comp.lang.functional,comp.archives
>
Archive-name: languages/functional/caml/1991-02-06
Archive-directory: nuri.inria.fr:/languages/caml/V2-6.1/ [128.93.1.26]
Original-posting-by: mauny@margaux.inria.fr (Michel Mauny)
Original-subject: CAML V2-6.1 on nuri.inria.fr
Reposted-by: emv@ox.com (Edward Vielmetti)
The CAML functional programming language is now freely available by
anonymous ftp from nuri.inria.fr [128.93.1.26].
CAML is a language belonging to the ML family including:
lexical binding discipline
static type inference
user-defined (sum and product) types
possibly lazy data structures
possibly mutable data structures
interface with the Yacc parser generator
pretty-printing tools
and a complete library.
The distribution includes a complete documentation (a primer, 80
pages, and the reference manual, 490 pages) in source and dvi formats.
These documents are also available as INRIA tech-reports (number 121
> et 122).
Currently, the archive contains ports to the following machines:
Sun3
Sun4
Sony News 68k
NeXt 68k
Dec Stations 3100 and 5000
MacIntosh A/UX
HP 9300
Vax (4.3 BSD)
The size of the compressed archive is about:
common part: 2Mb
machine-specific part: 2.5Mb
documentation: 3Mb
Once installed, the size of the whole system is 15Mb + documentation
(optional installation).
This is what you obtain after login (user anonymous, any passwd):
ftp> cd languages/caml/V2-6.1
250 CWD command successful.
ftp> ls
200 PORT command successful.
150 Opening ASCII mode data connection for /bin/ls.
total 19886
-rw-r--r-- 1 23861 21117 1994 Jan 22 14:22 CHANGES
-rw-r--r-- 1 23861 21117 3776 Jan 22 14:10 CONTENTS.common
-rw-r--r-- 1 23861 21117 556 Feb 6 11:44 CONTENTS.hp9300
-rw-r--r-- 1 23861 21117 537 Jan 22 14:23 CONTENTS.macaux
-rw-r--r-- 1 23861 21117 713 Dec 20 10:32 CONTENTS.mips
-rw-r--r-- 1 23861 21117 522 Jan 15 15:58 CONTENTS.next
-rw-r--r-- 1 23861 21117 679 Dec 20 11:03 CONTENTS.sony68
-rw-r--r-- 1 23861 21117 732 Dec 17 18:59 CONTENTS.sun3
-rw-r--r-- 1 23861 21117 990 Dec 14 16:21 CONTENTS.sun4
-rw-r--r-- 1 23861 21117 662 Dec 14 13:56 CONTENTS.vax
-rw-r--r-- 1 23861 21117 2842 Feb 6 18:55 README
-rw-r--r-- 1 23861 21117 473 Dec 21 13:51 README.doc
drwxr-xr-x 4 23861 21117 2048 Feb 6 19:43 bugfixes
-rwxr-xr-x 1 23861 21117 1586 Jan 22 12:13 caml.macaux
-rwxr-xr-x 1 23861 21117 1559 Dec 28 12:02 caml.mips
-rwxr-xr-x 1 23861 21117 1575 Jan 14 17:30 caml.next
-rwxr-xr-x 1 23861 21117 1575 Dec 28 11:45 caml.sony68
-rwxr-xr-x 1 23861 21117 1213 Dec 17 19:09 caml.sun3
-rwxr-xr-x 1 23861 21117 1810 Dec 28 11:43 caml.sun4
-rwxr-xr-x 1 23861 21117 1570 Jan 22 14:34 caml.vax
-rw-r--r-- 1 23861 21117 1979834 Jan 22 14:29 common.tar.Z
-rw-r--r-- 1 23861 21117 2884839 Dec 14 18:15 doc.tar.Z
-rw-r--r-- 1 23861 21117 1702681 Feb 6 13:57 hp9300.tar.Z
-rwxr-xr-x 1 23861 21117 708 Feb 6 18:29 install-common
-rwxr-xr-x 1 23861 21117 532 Feb 6 14:12 install-hp9300
-rwxr-xr-x 1 23861 21117 532 Feb 6 14:12 install-macaux
-rwxr-xr-x 1 23861 21117 532 Feb 6 14:12 install-mips
-rwxr-xr-x 1 23861 21117 532 Feb 6 14:12 install-next
-rwxr-xr-x 1 23861 21117 532 Feb 6 14:12 install-sony68
-rwxr-xr-x 1 23861 21117 532 Feb 6 14:12 install-sun3
-rwxr-xr-x 1 23861 21117 532 Feb 6 14:12 install-sun4
-rwxr-xr-x 1 23861 21117 532 Feb 6 14:12 install-vax
-rw-r--r-- 1 23861 21117 1749126 Feb 6 19:37 macaux.tar.Z
-rw-r--r-- 1 23861 21117 2101041 Dec 17 15:30 mips.tar.Z
-rw-r--r-- 1 23861 21117 1717258 Jan 15 16:07 next.tar.Z
-rw-rw-rw- 1 23861 21117 1784213 Dec 26 16:57 sony68.tar.Z
-rw-r--r-- 1 23861 21117 2002712 Dec 17 19:01 sun3.tar.Z
-rw-r--r-- 1 23861 21117 2241067 Dec 14 18:00 sun4.tar.Z
-rw-r--r-- 1 23861 21117 1905950 Dec 14 10:53 vax.tar.Z
226 Transfer complete.
Any suggestion or installation problem should be reported to
caml@margaux.inria.fr
Sincerely,
Michel Mauny
----------------------------------------------------------------------------
Formel Project
INRIA, BP 105, F-78153 Le Chesnay Cedex (France)
E-mail: Michel.Mauny@inria.fr
Telephone: +33 1 39 63 57 96
----------------------------------------------------------------------------
--
Michel Mauny
INRIA, BP 105, F-78153 Le Chesnay Cedex (France)
E-mail: Michel.Mauny@inria.fr
Telephone: (1) 39 63 57 96
--
_______________________________________________________________________________
INTERNET: bloch@pasteur.fr
Laurent Bloch , Institut Pasteur, Paris
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads