Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
We propose CAML, a meta-learning method for fast adaptation that partitions the model parameters into two parts: context… Expand
  • figure 1
  • table 1
  • table 2
  • figure 3
  • figure 2
Is this relevant?
2016
2016
The microbial communities in spontaneously fermented camel milk from Ethiopia were characterised through metagenomic 16S rRNA… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
2005
2005
ion values Abstraction values are given by pairs, written [v1]v2, where v1 and v2 are values. They are the values inhabiting… Expand
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Flow Caml is an extension of the Objective Caml language with a type system tracing information flow. Its purpose is basically to… Expand
  • figure 2.1
  • figure 2.2
  • figure 2.3
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Flow Caml is an extension of the Objective Caml language with a type system tracing information flow. Its purpose is basically to… Expand
  • figure 2.1
  • figure 2.2
  • figure 2.3
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Jocaml is a system for mobile agents built inside the Objective-Caml language. Jocaml eases the development of concurrent… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Designing a Control Simulator involves many difficult problems: modeling conflict detection, trajectory uncertainties, solving… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Uppaal is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
1990
1990
A level controller for liquid nitrogen and other cryogenic fluids comprising a gas thermometer partially immersed in the liquid… Expand
Is this relevant?