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 (opens in a new tab)

Related topics

Related topics

50 relations
Abstract machineApache HadoopBinary treeBounds checking

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Toward introducing binding-time analysis to MetaOCaml
This paper relates 2-level lambda-calculus and staged lambda-calculus (restricted to 2 stages) to obtain monovariant binding-time… 
2012
2012
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
2011
2011
Implementing a relational theorem prover for modal logic
An automatic theorem prover for a proof system in the style of dual tableaux for the relational logic associated with modal logic… 
2011
2011
A Forward Chaining Based Game Description Language Compiler
We present a first attempt at the compilation of the Game Description Language (GDL) using a bottom-up strategy. GDL is… 
2010
2010
A Rewriting Logic Semantics Approach to Modular Program Analysis
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming… 
2008
2008
Transactional events for ML
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of… 
2008
2008
Certified Development Tools Implementation in Objective Caml
This paper presents our feedback from the study on the use of Objective Caml for safety-critical software development tools… 
2005
2005
Towards a High-Productivity and High-Performance Marshaling Library for Compound Data
Marshaling, also known as serialization, is a key software l y r to support modern communication and storage systems. Impleme… 
2005
2005
An Equational Specification for the Scheme Language
This work describes the formal semantics of Scheme 3 as an equational theory in the Maude rewriting system. The semantics is… 
Review
1999
Review
1999
Collaborative Project Management with a Web-based Database Editor
Managing large projects in a cooperative fashion with geographically distributed partners is a complex process. Support tools are… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)