Caml - PDFSEARCH.IO - Document Search Engine

Caml
Results: 245

#	Item
101	OCaml Standard Library Standard Modules Basic Data Types Pervasives String Array Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2015-04-13 10:41:52 Functional languages Caml ML Fold Main function Software engineering Computing Computer programming
102	OCaml Emacs Mode (Tuareg) Generic Emacs Bindings MCSC-x C-g M-x C-h Add to Reading List Source URL: www.ocamlpro.com Language: English - Date: 2015-04-13 10:41:52 Emacs Functional languages Tuareg languages Conditional Mode Caml C Software Computing Procedural programming languages
103	Lucid Synchrone Release, version 3.0 Tutorial and Reference Manual Marc Pouzet April 2006 Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2010-08-22 09:49:20 Functional languages Procedural programming languages Formal methods Hardware description languages Synchronous programming languages Caml SIGNAL Lustre ML Computing Software engineering Computer programming
104	Thou Shalt not Leak your Keys: Practical Key Privilege Separation Using Caml Crush M. DAUBIGNARD Add to Reading List Source URL: fosdem.org Language: English - Date: 2015-02-01 08:17:00 Internet protocols Internet standards Electronic commerce Transport Layer Security Man-in-the-middle attack Public-key cryptography Password Cryptography Secure communication Cryptographic protocols
105	Antoine Delignat-Lavaud Personal Information Born in 1987, French citizenship Email: Add to Reading List Source URL: antoine.delignat-lavaud.fr Language: English - Date: 2015-02-09 15:04:18 Cryptographic protocols Electronic commerce Internet protocols Internet standards Secure communication OCaml Transport Layer Security JavaScript Caml Computing Software engineering Computer programming
106	Extension points for OCaml Leo White September 24, 2013 Camlp4 Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-22 11:06:10 Functional languages Camlp4 Parsing OCaml Preprocessor Caml Group extension ML Software engineering Computing Computer programming
107	DynaMoW User’s Manual (for DynaMoW releaseFrédéric Chyzak and Alexis Darrasse September 9, 2011 Add to Reading List Source URL: ddmf.msr-inria.inria.fr Language: English - Date: 2011-09-09 05:21:24 Functional languages Procedural programming languages Data types Type theory OCaml Caml Foreach loop ML Type system Computing Software engineering Programming language theory
108	Using Camlp4 for Presenting Dynamic Mathematics on the Web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web An experience report Frédéric Chyz Add to Reading List Source URL: ddmf.msr-inria.inria.fr Language: English - Date: 2011-06-30 10:10:16 Functional languages OCaml Camlp4 Caml Ocsigen Arbitrary-precision arithmetic Sage Maple Symbolic computation Software Computing Mathematical software
109	CONTEST SCORE REPORT SUMMARY FOR GRADES 6, 7, AND 8 Summary of Results 6th Grade Contests CAML Top 29 Schools in League--6th Grade (92 Schools) Rank 1 Add to Reading List Source URL: www.mathleague.com Language: English* - Date: 2015-03-24 14:56:05 Palos Verdes Estates California Stratford Schools Palos Verdes Saratoga California Santa Clara County California Fremont California California locations by per capita income Geography of California Butterfield Overland Mail San Jose California
110	22 Developing applications with Objective Caml Having reached this point, the reader should no longer doubt the richness of Objective Caml. This language rests on a functional and imperative core, and it integrates the t Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Functional languages OCaml Caml ML Functional programming Preprocessor Coq Strong typing Haskell Software engineering Computing Computer programming