OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
31	The State of the OCaml Platform: September 2016 Louis Gesbert∗(speaker) on behalf of the OCaml Platform team The OCaml Platform combines the OCaml compiler toolchain with a coherent set of tools for build, documentatio Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-04 08:31:13 Software Computer programming Functional languages OCaml Package manager Arch Linux Deb Go Caml R Coq
32	ocp-lint A Plugin-based Style-Checker with Semantic Patches C ¸ a˜gda¸s Bozman Th´eophane Hufschmitt Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-03 11:03:59 Software engineering Computer programming Software OCaml Program analysis Lint Camlp4 Type system Caml
33	OPAM-builder: Continuous Monitoring of OPAM Repositories Fabrice Le Fessant INRIA & OCamlPro fabrice.le Abstract Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2016-08-03 10:56:51 Software Computer architecture System software OCaml Arch Linux Package manager Software repository Debian PEAR
34	OCaml-Java Cheat Sheet ocamlbuild (extended) Field accesses Add to Reading List Source URL: www.ocamljava.org Language: English - Date: 2015-06-08 16:14:20 Computing Software engineering Computer programming Object-oriented programming languages Functional languages Cross-platform software Programming languages Java platform OCaml Java Bytecode Caml
35	FoCaLiZe! Programming and Proving! A Bit Under the Hood François Pessaux - ENSTA ParisTech (U2IS) Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-04-14 11:22:28 Software engineering Computer programming Programming language theory Functional languages Functional programming Procedural programming languages Mathematical proof Coq OCaml Natural deduction Mathematical logic ALGOL 68
36	Lock-free programming for the masses KC Sivaramakrishnan University of Cambridge Efficient concurrent programming libraries are essential for taking advantage of fine-grained parallelism on multicore hardware. We present Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Concurrency control Computing Software engineering Computer programming Transaction processing Software design patterns Functional languages Data management Software transactional memory Treiber Stack Lock OCaml
37	Introduction to EasyBuild Getting Scientific Software Installed With Ease Kenneth Hoste HPC-UGent, Ghent University, Belgium http://users.ugent.be/~kehoste/EasyBuild_HPCAC_intro_20160323.pdf Add to Reading List Source URL: www.hpcadvisorycouncil.com Language: English - Date: 2016-04-06 01:18:41 Object-oriented programming languages Scripting languages Environment Modules Computing platforms Cross-platform software Python OCaml Dependency hell Linux Configure script Tcl
38	Currying (what Functions of Several Arguments Really are) More About Higher-Order Functions Remember simple? Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-27 09:57:47 Higher-order functions Functional programming Subroutines Lambda calculus Programming language comparisons Fold Currying Map Function Recursion Standard ML OCaml
39	Abstract Interpretation: Exercises for day 3 [Note: you are welcome to program these exercises in groups of 2] February 4, Implement the Parity analysis of the 3 counter machine in OCaml, including pretty printin Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-03 18:23:35 OCaml Abstract interpretation FO
40	Menhir Reference Manual (versionFrançois Pottier Yann Régis-Gianas Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2016-08-08 15:19:07 Source code Compiling tools Formal languages OCaml Syntax Canonical LR parser GNU bison Yacc Exception handling Parsing Terminal and nonterminal symbols Include directive