Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,332,909 papers from all fields of science
Search
Sign In
Create Free Account
Caml
Known as:
Caml Light
, Catagorical Abstract Machine
, Categorical Abstract Machine Language
Caml (originally an acronym for Categorical abstract machine language) is a dialect of the ML programming language family, developed at INRIA and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
21 relations
.NET Framework
Camlp4
Categorical abstract machine
Currying
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The Formal Semantics of Rascal Light
Ahmad Salim Al-Sibahi
2017
Corpus ID: 46812945
Rascal is a high-level transformation language that aims to simplify software language engineering tasks like defining program…
Expand
2015
2015
Categorical abstract machine pdf
2015
Corpus ID: 37890753
The machine is called categorical abstract machine or CAM. The CAM is easier to grasp and prove than the SECD machine. The…
Expand
2014
2014
Invited Talks at BCTCS 2013
S. Abramsky
2014
Corpus ID: 16879000
The scientific study of programming languages requires a formal specification of their semantics. However, the incentives of…
Expand
2010
2010
Events! (Reactivity in urbiscript)
Jean-Christophe Baillie
,
A. Demaille
,
Quentin Hocquet
,
M. Nottale
arXiv.org
2010
Corpus ID: 16271648
Urbi SDK is a software platform for the development of portable robotic applications. It features the Urbi UObject C++ middleware…
Expand
2007
2007
Antarctic marine biodiversity challenged by global change: the CAML/SCAR-MarBIN benchmark.
B. Danis
,
A. Brandt
,
J. Gutt
,
P. Koubbi
,
P. Rodhouse
2007
Corpus ID: 129111188
There is now undisputed evidence that climate change and modifications of the Earth system occurs, at faster rates in the…
Expand
2003
2003
CAML - A Universal Configuration Language for Dialogue Systems
Gergely Kovásznai
,
Constantine Kotropoulos
,
I. Pitas
International Conference on Database and Expert…
2003
Corpus ID: 17675689
In this paper, a novel architecture of a universal dialogue system and its configuration language, so-called Conversational Agent…
Expand
2003
2003
Conception et implémentation d'un système d'aide à la spécification et à la preuve de programmes ML
Sylvain Baro
2003
Corpus ID: 41780051
Pouvoir verifier la conformite d'un programme avec sa specification represente un enjeu important. On peut utiliser un assistant…
Expand
Review
2003
Review
2003
Swapping the atom: Programming with binders in Fresh O''Caml
Mark R. Shinwell
2003
Corpus ID: 10985314
We describe Fresh O’Caml, a metalanguage equipped with facilities to manipulate object-level syntax involving α-convertible names…
Expand
2001
2001
Real-time Reactive Programming for Embedded Controllers
R. Kieburtz
ACM SIGPLAN International Conference on…
2001
Corpus ID: 14051063
Software-based controllers for physical devices and processes must provide both algorithmic functionality, which is the usual…
Expand
Review
1994
Review
1994
An Implementation of Caml-Light with existential types
Michel Mauny
,
F. Pottier
1994
Corpus ID: 117484665
This work is based on a proposal by LL aufer and Odersky 3]. They show that it is possible to add existential types to an ML-like…
Expand