Caml - PDFSEARCH.IO - Document Search Engine

Caml
Results: 245

#	Item
151	Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 1999-08-15 15:22:36 Procedural programming languages Functional languages Data types Type theory Functional programming Standard ML Caml Fold ML Software engineering Computing Computer programming
152	Improving Type Error Messages in OCaml Arthur Charguéraud Inria & LRI, Université Paris Sud, CNRS [removed] Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-01 05:57:12 Type theory Type systems Functional languages Procedural programming languages Data types OCaml Type inference ALGOL 68 Caml Software engineering Computer programming Computing
153	OCamlOScope – New OCaml API Search Jun Furuse May 24, 2014 1 Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-01 10:03:24 OCaml Ocsigen Caml Software Computing Computer programming
154	Coq of OCaml OCaml Workshop[removed]Introduction Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-01 15:08:24 Functional languages OCaml Caml Monad ML Coq Fixed-point combinator Exception handling Coenzyme Q10 Software engineering Computing Computer programming
155	ZU064-05-FPR cufp[removed]November 2013 Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2013-11-28 12:20:54 Functional languages OCaml Erlang Ocsigen Haskell Modular programming Scala Caml ML Computing Software engineering Computer programming
156	Microsoft PowerPoint[removed]ppt [Compatibility Mode] Add to Reading List Source URL: www.cs.hku.hk Language: English - Date: 2014-10-10 21:55:06 Functional languages OCaml Caml ML Software engineering Computer programming Computing
157	Census of Antarctic Marine Life SCAR-Marine Biodiversity Information Network BIOGEOGRAPHIC ATLAS OF THE SOUTHERN OCEAN  CHAPTER 1.2. The Census of Antarctic Marine Life (CAML). Add to Reading List Source URL: share.biodiversity.aq Language: English - Date: 2014-12-18 10:38:36 Marine biology Antarctic region Census of Antarctic Marine Life Ocean Biogeographic Information System SCAR Southern Ocean Continuous Plankton Recorder Survey Census of Marine Life International Polar Year Scientific Committee on Antarctic Research Antarctica Physical geography Biology Biogeography
158	Vine installation and user manual BitBlaze Team August 26th, 2009: Release 1.0 and Ubuntu 9.04 Contents 1 Introduction Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:31 Dpkg Ubuntu OCaml Caml Debian X86-64 Advanced Packaging Tool Preprocessor Deb Software Computing Computer architecture
159	Algebraic data types The case against null Motivation ● ● Add to Reading List Source URL: files.meetup.com Language: English - Date: 2014-07-01 06:57:43 Functional languages Procedural programming languages Data types Type theory OCaml Algebraic data type Caml ML Pattern matching Software engineering Computer programming Computing
160	HOL Light Tutorial (for version[removed]John Harrison Intel JF1-13 [removed] January 12, 2011 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2011-01-12 14:03:23 Logic in computer science OCaml Automated theorem proving HOL Caml Proof assistant ML Read–eval–print loop Isabelle Software Computing Functional languages