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.
Review
2018
Review
2018
Reconciling Abstraction with High Performance: A MetaOCaml approach
  • O. Kiselyov
  • Found. Trends Program. Lang.
  • 2018
  • Corpus ID: 49297682
A common application of generative programming is building highperformance computational kernels highly tuned to the problem at… 
Review
2013
Review
2013
The OCaml system release 4.07: Documentation and user's manual
This manual documents the release 4.07 of the OCaml system. It is organized as follows. Part I, "An introduction to OCaml", gives… 
2012
2012
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
Highly Cited
2012
Highly Cited
2012
Nested refinements: a logic for duck typing
Programs written in dynamic languages make heavy use of features --- run-time type tests, value-indexed dictionaries… 
2009
2009
Statistics on Digital Libraries of Mathematics
We present statistics on the standard libraries of four major proof assistants for mathematics: HOL Light, Isabelle/HOL, Coq and… 
Highly Cited
2003
Highly Cited
2003
A Gentle Introduction to Multi-stage Programming
  • Walid Taha
  • Domain-Specific Program Generation
  • 2003
  • Corpus ID: 15707400
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this… 
Review
2003
Review
2003
Flow Caml in a Nutshell
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
Boolean and Cartesian abstraction for model checking C programs
We show how to attack the problem of model checking a C program with recursive procedures using an abstraction that we formally… 
Highly Cited
2000
Highly Cited
2000
Objective Caml : développment d'applications avec
1998
1998
The Functional Imperative: Shape!
FISH is a new programming language for array computation that compiles higher-order polymorphic programs into simple imperative… 
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)