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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2010
Review
2010
Foreword. Introduction. Acknowledgments. Contributors. The Scientific Steering Committee of the Census of Marine Life. PART I… 
2004
2004
A Haskell system that includes both the Foreign Function Interface and the Concurrent Haskell extension must consider how… 
Review
2003
Review
2003
Flow Caml is an extension of the Objective Caml language with a type system tracing information flow. It automatically checks… 
Highly Cited
2001
Highly Cited
2001
From the points of view of programming pragmatics, rewriting and operational semantics, the syntactic construct used for… 
1990
1990
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they…