Skip to search formSkip to main contentSkip to account menu

OCaml

Known as: Objective CAML, MetaOCaml, O’Caml 
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… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
This article presents a resource analysis system for OCaml programs. The system automatically derives worst-case resource bounds… 
Highly Cited
2016
Highly Cited
2016
Ethereum is a framework for cryptocurrencies which uses blockchain technology to provide an open global computing platform… 
2016
2016
The language Eff is an OCaml-like language serving as a prototype implementation of the theory of algebraic effects, intended for… 
Review
2013
Review
2013
This manual documents the release 4.07 of the OCaml system. It is organized as follows. Part I, "An introduction to OCaml", gives… 
Highly Cited
2012
Highly Cited
2012
Model checking has been widely successful in validating and debugging designs in the hardware and protocol domains. However… 
Review
2003
Review
2003
A wide range of domain-specific languages (DSLs) has been implemented successfully by embedding them in general purpose languages… 
Highly Cited
2002
Highly Cited
2002
ion Description and Purpose Variable names Provide human readable names to data addresses Function names Provide human readable… 
Highly Cited
2002
Highly Cited
2002
We show how to attack the problem of model checking a C program with recursive procedures using an abstraction that we formally… 
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… 
Highly Cited
1998
Highly Cited
1998
A formal language CCSL is introduced for describing specifications of classes in object-oriented languages. We show how class…