
	Where results make sense

Topic: CAML Light

Related Topics

Objective Caml

CAML Light

speed of light

light cruiser

Docklands Light Railway

Electric Light Orchestra

light bulb

The Guiding Light

light emitting diode

visible light

faster than light

traffic light

In the News (Wed 23 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Caml Light (Site not responding. Last check: 2007-10-06)
		Caml Light is a lightweight, portable implementation of the Caml language.
		Caml Light is implemented as a bytecode compiler, and fully bootstrapped.
		The Caml Light system is open source software, please read its license for more details.
	caml.inria.fr /caml-light/index.en.html (156 words)

	Caml Light - Computing Reference - eLook.org
		A small portable implementation of a version of CAML by Xavier Leroy and Damien Doligez of INRIA.
		Caml Light uses a bytecode interpreter written in C.
		The development of Caml Light has been stopped; current development is on Objective Caml.
	www.elook.org /computing/caml-light.htm (108 words)

	Interfacing C with Caml Light (Site not responding. Last check: 2007-10-06)
		When the primitive function is applied in a Caml Light program, the C function is called with the values of the expressions to which the primitive is applied as arguments.
		Implementing a user primitive is actually two separate tasks: on the one hand, decoding the arguments to extract C values from the given Caml Light values, and encoding the return value as a Caml Light value; on the other hand, actually computing the result from the arguments.
		The Caml Light runtime system comprises three main parts: the bytecode interpreter, the memory manager, and a set of C functions that implement the primitive operations.
	sunsite.dcc.uchile.cl /lang/cl/caml/man-caml/node13.html (2326 words)

	Ocaml - Wikipedia, the free encyclopedia
		Objective Caml (OCaml) is a general-purpose programming language descended from the ML family, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996.
		It has a large standard library that makes it useful for many of the same applications as Python or Perl, as well as robust modular and object-oriented programming constructs that make it applicable for large-scale software engineering.
		The acronym CAML originally stood for Categorical Abstract Machine Language, although OCaml abandons this abstract machine.
	en.wikipedia.org /wiki/Ocaml (1777 words)

	FCIW: Popular Languages Subpage (Site not responding. Last check: 2007-10-06)
		Caml Light has been made obsolecent by the recent arrival of Objective Caml, but it is still available for those who might want it.
		Caml Light is a subset of an extended version of ML, and compiles to an intermediate bytecode that is executed within the environment.
		Objective Caml is a new language, that closely resembles it predecessor, Caml Light, with a calculus module as in Standard ML, and - a first for an ML language - full support for objects and classes.
	tatooine.fortunecity.com /ewok/31/fciwin2.html (2702 words)

	Project-Team - Cristal (Site not responding. Last check: 2007-10-06)
		Caml Light is a lightweight, portable implementation of the core Caml language.
		The Objective Caml distribution includes a comprehensive standard library, as well as a replay debugger, lexer and parser generators, and a documentation generator.
		Cameleon is a customizable integrated development environment for Objective Caml, providing a smooth integration between the Objective Caml compilers, its documentation, standard editors, a configuration management system based on CVS, and specialized code generation tools, such as Dbforge (stub generator for accessing SQL databases).
	www.inria.fr /rapportsactivite/RA2003/cristal/module13.html (475 words)

	Caml Information (Site not responding. Last check: 2007-10-06)
		The PL Caml Lecture Notes (this topic is not covered in the book).
		The Examples of Caml that were run in class.
		Caml is free and you should install it on your computer.
	www.cs.jhu.edu /~scott/pl/caml (372 words)

	Comp.Lang.ML FAQ [Monthly Posting] - faqs.org.ru
		CAML LIGHT ---------- Caml Light is a portable, bytecode interpreter for CAML, a dialect of ML.
		Caml Light runs on most modern Unix machines, including Sun Sparcstations (under SunOS 4.1 and Solaris 2), Decstations 3000 (Alpha) and 5000 (Mips), and PCs under Linux, but many more machines have been reported to work.
		The compiler itself is mostly written in Caml Light and the runtime system is written in standard C, hence Camlot is easy to port to almost any 32-bit platform.
	faqs.org.ru /en/programming/meta-lang-faq.htm (2386 words)

	Caml-Light
		Caml Light is a small, portable implementation of the ML language.
		Caml Light implements the Caml language, a functional language from the ML family.
		Caml Light comes in two flavors: a classical, interactive, toplevel-based system; and a standalone, batch-oriented compiler that produces standalone programs, in the spirit of the Unix cc compiler.
	web.yl.is.s.u-tokyo.ac.jp /members/garrigue/fiml/cl.html (255 words)

	Moscow ML - FOLDOC Definition
		There is a mechanism for adding basis libraries, as in Caml Light.
		Thanks to the efficient Caml Light run-time system used in Moscow ML, it compiles fast and uses little memory, typically 5-10 times less memory than SML/NJ 0.93 and 2-3 times less than Edinburgh ML.
		Caml Light 0.61 and gcc are required to recompile Moscow ML for Unix or Caml Light 0.61, djgpp, Perl, and Borland C++ version 2.0 (or later) to recompile Moscow ML for DOS.
	www.nightflight.com /foldoc-bin/foldoc.cgi?Moscow+ML (419 words)

	[No title]
		OVERVIEW: Caml Light is a small, portable implementation of the ML language.
		Caml Light implements the Caml language, a functional language from the ML family.
		Caml Light comes in two flavors: a classical, interactive, toplevel-based system; and a standalone, batch-oriented compiler that produces standalone programs, in the spirit of the Unix cc compiler.
	www.cs.cmu.edu /Groups/AI/util/lang/others/ml/caml_lt/readme.txt (846 words)

	A brief history of Caml
		Caml has been designed and implemented in the Formel project at INRIA headed by Gérard Huet until 1994 and its development now continues in project Cristal.
		Our main reason for developing Caml was to use it for sofware developments in the Formel project and indeed, it was used for the development of the Coq system which became, after Thierry Coquand's thesis in 1985, the main aim of the project.
		Caml is used in education, in research and new applications emerge such as the Web browser MMM written by François Rouaix.
	www.pps.jussieu.fr /~cousinea/Caml/caml_history.html (1172 words)

	CaML Light summary.
		CaML is a dialect of ML, a language originally developed for writing theorem provers.
		Once you have installed Caml light, as we have in BL 225, you can access it from the start menu.
		A printable type is a type for which input output primitives are defined in Caml Light.
	www.sju.edu /~scooper/spring05mat1571/CaML_Light_summary.htm (3493 words)

	[No title] (Site not responding. Last check: 2007-10-06)
		The language Caml Light is still in use, especially for education.
		The language was renamed Objective Caml after the incorporation of a sophisticated module system and an object-oriented layer.
		The Objective Caml implementation comes with general purpose libraries (arbitrary precision arithmetics, multi-threading, a toolkit for graphical user interfaces, etc.) and a _(Unix)-style programming environment including a replay debugger and a time profiler.
	cliki.tunes.org /OCAML?source&v=2 (474 words)

	Comp.Lang.ML FAQ [Monthly Posting]
		CAML LIGHT ---------- Caml Light is a portable, bytecode interpreter for CAML, a dialect of ML.
		Caml Light runs on most modern Unix machines, including Sun Sparcstations (under SunOS 4.1 and Solaris 2), Decstations 3000 (Alpha) and 5000 (Mips), and PCs under Linux, but many more machines have been reported to work.
		The compiler itself is mostly written in Caml Light and the runtime system is written in standard C, hence Camlot is easy to port to almost any 32-bit platform.
	www.faqs.org /faqs/meta-lang-faq (4974 words)

	[No title] (Site not responding. Last check: 2007-10-06)
		Caml Light Caml Light is a portable, bytecode interpreter for a subset of CAML, a dialect of ML.
		Some features of Caml Light include separate compilation, streams and stream parsers, ability to link to C code, and tools for building libraries and toplevel systems.
		The version 0.5 of the Caml Light system has been released, and is available by anonymous FTP from: host: nuri.inria.fr (128.93.1.26) directory: lang/caml-light files: cl5unix.tar.Z Complete source code for Unix machines, plus a bootstrap compiler.
	www.math.psu.edu /local_doc/sml/FAQ (2360 words)

	OcamlLanguage - The Fellowship of Hobbyist Programmers
		Objective Caml belongs to the ML family of programming languages (see MlLanguage) and has been implemented at INRIA Rocquencourt within the "Cristal project" group.
		The language Caml Light is still in use, especially for education.
		Objective Caml programs can easily be interfaced with other languages, in particular with other C programs or libraries.
	www.hprog.org /fhp/OcamlLanguage (650 words)

	Comp.Lang.ML FAQ [Monthly Posting]
		More information on Objective Caml is available on the World Wide Web, at: http://pauillac.inria.fr/ocaml/ Bug reports and technical questions should be directed to caml-light@inria.fr.
		Caml-light libraries (Included in the Caml Light distribution unless otherwise noted) (Most of these libraries are also available for Objective Caml) CAML-TK TK is a GUI library for the TCL language.
		Camlwin is distributed at: ftp.inria.fr:lang/caml-light/Usercontribs/camlwin The reference manual is also available on the WWW at: http://liasc.enst-bretagne.fr/~saunier LIBNUM The "libnum" library implements exact-precision rational arithmetic for Caml Light.
	www.cs.uu.nl /wais/html/na-dir/meta-lang-faq.html (4952 words)

	The Caml language (Site not responding. Last check: 2007-10-06)
		OCaml (Objective Caml) and Caml Light are two open source implementations of Caml developed at INRIA Rocquencourt, projet Cristal.
		Objective Caml ranks 2nd on speed (between C and C++) on Doug Bagley's computer language shootout.
		A set of new Caml examples are now available (ranging from simple examples for beginners to complex examples for specialists).
	pauillac.inria.fr /cdrom/www/caml/index-eng.htm (159 words)

	[No title] (Site not responding. Last check: 2007-10-06)
		caml-mode) auto-mode-alist)) (autoload 'caml-mode "caml" "Major mode for editing Caml code." t) (autoload 'run-caml "inf-caml" "Run an inferior Caml process." t) I added camldebug.el from the original distribution, since there will soon be a debugger for Objective Caml, but I do not know enough about it.
		However, indentation rules are still Objective Caml's: this just happens to work well in most cases, but is only intended for occasional use.
		Some remarks about the style supported: -------------------------------------- Since Objective Caml's syntax is very liberal (more than 100 shift-reduce conflicts with yacc), automatic indentation is far from easy.
	www.dia.uniroma3.it /~lambda/ocaml/emacs/_README (746 words)

	A Web navigator with applets in Caml
		Caml Special Light is a strongly typed functional language of the ML family.
		Caml programs compiled to bytecode are 5 to 10 times slower than programs compiled to native code[7].
		Caml Special Light fullfills all these requirements: as other languages of the ML family, it is strongly typed; its module system, based on [10], provides flexible control on exported functions; type-safe linking relies on checking that modules required by a compilation unit match modules provided by the program to which it is linked.
	www.ra.ethz.ch /CDstore/www5/www364/overview.htm (3215 words)

	[No title]
		The order in which.zo and.ml arguments are presented on the command line is relevant: global identifiers are initialized in that order at run-time, and it is a link-time error to use a global identifier before having initialized it.
		Arguments ending in.c are assumed to be C code source files, and are passed to the.BR cc (1) compiler for compilation; the resulting.o file is then linked as described previously.
		This option is required when linking Caml Light code with user-defined C functions.
	osiris.sunderland.ac.uk /~cs0pdu/pub/man/man1/camlc.1 (794 words)

	The Caml language: Home (Site not responding. Last check: 2007-10-06)
		Caml is a general-purpose programming language, designed with program safety and reliability in mind.
		The Objective Caml system is the main implementation of the Caml language.
		The Caml Light system is a lightweight, portable implementation of the core Caml language.
	pauillac.inria.fr /caml (190 words)

	[No title]
		The Caml Light compiler generates executable programs that are both small and portable.
		Interactivity Caml provides an interactive toplevel ``read-eval-print'' loop, that is convenient for both learning and debugging: there is no need to use files, nor add printing routines to get results.
		Evaluation regime Caml is a strict language, as opposed to lazy ones.
	www.cs.may.ie /~pgibson/Teaching/SE109/SE109-9.ppt (705 words)

	Notes on OCaml
		Caml is a dialect of ML, developed primarily in France.
		This paper describes Objective Caml version 3.01, or OCaml (pronounced "oh-camel") for short; it does not go into the object-oriented features of OCaml, however.
		Another dialect, Caml Lite 0.74, has almost identical syntax, but the modules and many of the functions in the modules differ to a greater or lesser extent.
	www.csc.villanova.edu /~dmatusze/resources/ocaml/ocaml.html (3685 words)

	[No title]
		Caml Light implementations also possess a batch compiler usable to compile files and produce standalone applications; this will be discussed in chapter 11.
		However, since the basic control structure of Caml is function application, it is quite easy to give an idea of the transformations involved in the Caml evaluation process by using the kind of rewriting we used in the last example.
		Caml Light has an imperative input/output model: an IO operation should be considered as a side-effect, and is thus dependent on the order of evaluation.
	wwwfun.kurims.kyoto-u.ac.jp /soft/caml-light/cl74tutorial.txt (18757 words)

	ocamlc
		The Objective Caml bytecode compiler ocamlc(1) compiles Caml source files to bytecode object files and link these object files to produce standalone bytecode executable files.
		These files are linked together, along with the object files obtained by compiling.ml arguments (if any), and the Caml Light standard library, to produce a standalone executable program.
		The order in which.cmo and.ml arguments are presented on the command line is relevant: compilation units are initialized in that order at run-time, and it is a link-time error to use a component of a unit before having initial- ized it.
	ccrma.stanford.edu /planetccrma/man/man1/ocamlc.1.html (864 words)

	Ocaml -- Facts, Info, and Encyclopedia article (Site not responding. Last check: 2007-10-06)
		Objective Caml (OCaml) is an advanced ((computer science) a language designed for programming computers) programming language
		OCaml was created in 1996 as a (additional info and facts about Caml Light) Caml Light successor by (additional info and facts about Xavier Leroy) Xavier Leroy, Jerome Vouillon and Damien Doligez and others.
		The compiler is available for many platforms, including (Trademark for a powerful operating system) Unix, (A framework of wood or metal that contains a glass windowpane and is built into a wall or roof to admit light or air) Windows, and (A waterproof raincoat made of rubberized fabric) Macintosh.
	www.absoluteastronomy.com /encyclopedia/o/oc/ocaml.htm (926 words)

	Interfacing C with Objective Caml
		The Objective Caml runtime system comprises three main parts: the bytecode interpreter, the memory manager, and a set of C functions that implement the primitive operations.
		That is, if a Caml function f calls a C function g that calls back a Caml function h that raises a stray exception, then the execution of g is interrupted and the exception is propagated back into f.
		A typical use is for storing a Caml closure in a C global variable so that it can be called back later from other C functions.
	ceu.fi.udc.es /docs/man-ocaml-1.02/node14.html (2803 words)

	Hanoi: Objective Caml
		Objective Caml is the latest implementation of the Caml dialect of ML.
		The main novelties compared with its ancestor, Caml Light, are:
		A high-performance native code compiler (in addition to a Caml Light-style bytecode compiler).
	www.kernelthread.com /hanoi/html/ocaml.html (103 words)

Try your search on: Qwika (all wikis)