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

Related topics

Related topics

50 relations
Abstract machineApache HadoopAssociation listBinary tree
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Towards Automatic Resource Bound Analysis for OCaml
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
Eff Directly in OCaml
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
Improving Type Error Messages in OCaml
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
OCaml-Java: OCaml on the JVM
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
OCaml for the masses
Why the next language you learn should be functional. 
  • figure 2
Is this relevant?
2010
2010
Delimited Control in OCaml, Abstractly and Concretely: System Description
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
Experience report: OCaml for an industrial-strength static analysis framework
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
Practical generic programming in OCaml
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
OCaml + XDuce
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
Type-safe distributed programming for OCaml
Existing ML-like languages guarantee type-safety, ensuring memory safety and protecting the invariants of abstract types, but… (More)
Is this relevant?