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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1990-2018
05101519902018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
This paper presents a non-intrusive method for Objective Caml code coverage analysis. While classic methods rewrite the source… (More)
  • figure 1
  • figure 2
Is this relevant?
2009
2009
The Census of Antarctic Marine Life (CAML) aims to collate DNA barcode data for Antarctic marine species. DNA barcoding is a… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 6
Is this relevant?
2008
2008
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
This paper presents our feedback from the study on the use of Objective Caml for safety-critical software development tools… (More)
Is this relevant?
2006
2006
Ocsigen is a framework for programming highly dynamic web sites in Objective Caml. It allows to program sites as Ocaml… (More)
Is this relevant?
2006
2006
security, programming, performance How does one make a program breach resistant? One promising approach is to apply the Principle… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2005
2005
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language… (More)
Is this relevant?
Review
2003
Review
2003
Flow Caml is an extension of the Objective Caml language with a type system tracing information flow. It automatically checks… (More)
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… (More)
  • figure 2
Is this relevant?
1996
1996
This paper reports on the implementation of applets in Caml Special Light, a strongly typed functional language. The experiment… (More)
Is this relevant?