Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,182,844 papers from all fields of science
Search
Sign In
Create Free Account
OCaml
Known as:
Objective CAML
, MetaOCaml
, O’Caml
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Abstract machine
Apache Hadoop
Binary tree
Bounds checking
Expand
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…
Expand
Review
2013
Review
2013
The OCaml system release 4.07: Documentation and user's manual
X. Leroy
,
Damien Doligez
,
Alain Frisch
,
Jacques Garrigue
,
Didier Rémy
,
Jérôme Vouillon
2013
Corpus ID: 86551477
This manual documents the release 4.07 of the OCaml system. It is organized as follows. Part I, "An introduction to OCaml", gives…
Expand
2012
2012
Asynchronous Proof Processing with Isabelle/Scala and Isabelle/jEdit
M. Wenzel
UITP
2012
Corpus ID: 7060916
Highly Cited
2012
Highly Cited
2012
Nested refinements: a logic for duck typing
Ravi Chugh
,
P. M. Rondon
,
Ranjit Jhala
ACM-SIGACT Symposium on Principles of Programming…
2012
Corpus ID: 7613936
Programs written in dynamic languages make heavy use of features --- run-time type tests, value-indexed dictionaries…
Expand
2011
2011
Implementing a relational theorem prover for modal logic
Á. Mora
,
Emilio Muñoz-Velasco
,
Joanna Golinska-Pilarek
International Journal of Computational…
2011
Corpus ID: 6894023
An automatic theorem prover for a proof system in the style of dual tableaux for the relational logic associated with modal logic…
Expand
2004
2004
Automatic Inference of Class Invariants
F. Logozzo
International Conference on Verification, Model…
2004
Corpus ID: 5219154
We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented…
Expand
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…
Expand
Highly Cited
2001
Highly Cited
2001
Boolean and Cartesian abstraction for model checking C programs
T. Ball
,
A. Podelski
,
S. Rajamani
International Journal on Software Tools for…
2001
Corpus ID: 6860114
We show how to attack the problem of model checking a C program with recursive procedures using an abstraction that we formally…
Expand
Highly Cited
2000
Highly Cited
2000
Objective Caml : développment d'applications avec
E. Chailloux
,
Pascal Manoury
,
Bruno Pagano
2000
Corpus ID: 60313642
1998
1998
The Functional Imperative: Shape!
C. Jay
,
P. Steckler
European Symposium on Programming
1998
Corpus ID: 17134260
FISH is a new programming language for array computation that compiles higher-order polymorphic programs into simple imperative…
Expand
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)
ACCEPT & CONTINUE