Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,589 papers from all fields of science
Search
Sign In
Create Free Account
OCaml
Known as:
Objective CAML
, MetaOCaml
, O’Caml
Expand
OCaml (/oʊˈkæməl/ oh-KAM-əl), originally known as Objective Caml, is the main implementation of the Caml programming language, created by Xavier…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract machine
Apache Hadoop
Binary tree
Bounds checking
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Owl: A General-Purpose Numerical Library in OCaml
Liang Wang
arXiv.org
2017
Corpus ID: 27826894
Owl is a new numerical library developed in the OCaml language. It focuses on providing a comprehensive set of high-level…
Expand
2014
2014
Mind your Language(s) A discussion about languages and security (Long Version)
Éric Jaeger
,
O. Levillain
,
Pierre Chifflier
2014
Corpus ID: 260443710
—Following several studies conducted by the French Network and Information Security Agency ( A NSSI ), this paper discusses the…
Expand
2012
2012
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
2012
Corpus ID: 62166543
2011
2011
A Forward Chaining Based Game Description Language Compiler
T. Cazenave
,
Abdallah Saffidine
2011
Corpus ID: 14319
We present a first attempt at the compilation of the Game Description Language (GDL) using a bottom-up strategy. GDL is…
Expand
2008
2008
An Algebraic Approach to Bidirectional Model Transformation
S. Hidaka
,
Zhenjiang Hu
,
H. Kato
,
Keisuke Nakano
2008
Corpus ID: 15945554
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential…
Expand
2008
2008
A Session Object Calculus for Structured Communication-Based Programming
D. Mostrous
,
N. Yoshida
2008
Corpus ID: 14277391
We present an object calculus for structured concurrent programming, facilitating the implementation of typed binary protocols…
Expand
2005
2005
Towards a High-Productivity and High-Performance Marshaling Library for Compound Data
Albert Cohen
,
C. Herrmann
2005
Corpus ID: 18084002
Marshaling, also known as serialization, is a key software l y r to support modern communication and storage systems. Impleme…
Expand
2004
2004
OCAMiL un compilateur Objective Caml pour .NET
Raphaël Montelatici
,
E. Chailloux
,
Bruno Pagano
2004
Corpus ID: 195994428
Review
2003
Review
2003
Swapping the atom: Programming with binders in Fresh O''Caml
Mark R. Shinwell
2003
Corpus ID: 10985314
We describe Fresh O’Caml, a metalanguage equipped with facilities to manipulate object-level syntax involving α-convertible names…
Expand
Review
2001
Review
2001
Lucid Synchrone: tutorial and reference manual
Marc Pouzet
2001
Corpus ID: 60070016
types can be defined. Their syntax is inherited from Objective Caml and is reminded here. type-definition ::= type typedef { and…
Expand