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.
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… 
Highly Cited
2003
Highly Cited
2003
The Flow Caml system
Flow Caml is an extension of the Objective Caml language with a type system tracing information flow. Its purpose is basically to… 
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
1997
1997
A set-constraint-based analysis of actors
This paper presents a type inference system for a primitive actor calculus (Cap) based on set-constraints resolution. In contrast… 
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)