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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
This article presents a resource analysis system for OCaml programs. The system automatically derives worst-case resource bounds… (More)
  • figure 6
  • figure 7
  • figure 10
  • table 1
  • figure 12
Is this relevant?
2016
2016
The language Eff is an OCaml-like language serving as a prototype implementation of the theory of algebraic effects, intended for… (More)
  • figure 3
  • figure 8
  • figure 10
  • figure 9
  • table 1
Is this relevant?
2014
2014
Cryptic type error messages are a major obstacle to learning OCaml. In many cases, error messages cannot be interpreted without a… (More)
Is this relevant?
Review
2012
Review
2012
This presentation introduces the OCaml-Java project whose goal is to allow compilation of OCaml sources into Java bytecodes. The… (More)
Is this relevant?
2011
2011
Why the next language you learn should be functional. 
  • figure 2
Is this relevant?
2010
2010
We describe the first implementation of multi-prompt delimited control operators in OCaml that is direct in that it captures only… (More)
Is this relevant?
2009
2009
This experience report describes the choice of OCaml as the implementation language for Frama-C, a framework for the static… (More)
  • figure 1
Is this relevant?
2007
2007
We describe deriving, a system of extensible generic functions for OCaml implemented as a preprocessor and supporting library. We… (More)
Is this relevant?
2006
2006
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The… (More)
  • figure 1
  • figure 2
Is this relevant?
2006
2006
Existing ML-like languages guarantee type-safety, ensuring memory safety and protecting the invariants of abstract types, but… (More)
Is this relevant?