Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

21 relations
.NET FrameworkCamlp4Categorical abstract machineCurrying

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Events! (Reactivity in urbiscript)
Urbi SDK is a software platform for the development of portable robotic applications. It features the Urbi UObject C++ middleware… 
2008
2008
Certified Development Tools Implementation in Objective Caml
This paper presents our feedback from the study on the use of Objective Caml for safety-critical software development tools… 
2003
2003
CaML: Camera Markup Language for Network Interaction
As processor speeds increase and the cost of digital video technology falls, the use of video is expanding in a plethora of… 
2002
2002
Languages and Logics for Network Aware Programming
The increasing use of Internet and the wide spreading of the World Wide Web has stimulated the interest in distributed… 
2002
2002
A Proof Dedicated Meta-Language
Review
1994
Review
1994
An Implementation of Caml-Light with existential types
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… 
1991
1991
Modular grammars for programming language prototyping
1990
1990
Generating program animators from programming language semantics
I present a theory of program animation based on formal semantics. This theory shows how an animator for a language can be… 
1988
1988
On some Functional Aspects of Control
This paper points out and illustrates continuations as functions abstracting a delimited context instead of an unlimited one… 
1985
1985
Association of Candida guilliermondii with amylolytic filamentous fungi on preharvest corn
Candida guilliermondii var. guilliermondii was the dominant yeast isolated from preharvest Georgia corn and comprised 3.6–47.0… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)