OCaml - PDFSEARCH.IO - Document Search Engine

OCaml
Results: 348

#	Item
331	The OCaml system release 4.01 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2013-09-12 07:43:14 OCaml Comparison of programming languages Coupling Preprocessor Caml Perl module Arbitrary-precision arithmetic Software engineering Computing Computer programming
332	The OCaml system release 3.12 Documentation and user’s manual Xavier Leroy, Damien Doligez, Alain Frisch, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-07-29 09:33:47 Object-oriented programming OCaml Caml Coupling Comparison of programming languages Preprocessor Information hiding Perl module Software engineering Computing Computer programming
333	University of Edinburgh School of Informatics Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2010-07-29 10:51:40 Query languages Programming language implementation Web application frameworks Relational database management systems OCaml JavaScript C Links SQL Computing Software Cross-platform software
334	CocOCaml v0.7 The Manual (or an approximation thereof) William D. Neumann February 3, [removed]Introduction Add to Reading List Source URL: www.cs.unm.edu Language: English - Date: 2004-02-03 14:57:06 Read–eval–print loop Emacs Environment variable Interpreter Shell Mac OS X Software Computing OCaml
335	Journal of Instruction-Level Parallelism[removed]Submitted 07/01; published 11/03 Add to Reading List Source URL: www.jilp.org Language: English - Date: 2004-01-21 11:45:56 Cross-platform software Compiler construction Virtual machines Compilers Threaded code OCaml Interpreter Stack machine Bytecode Computing Software Programming language implementation
336	A Gentle Introduction to Multi-stage Programming, Part II Walid Taha Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-10-20 11:11:08 Lambda calculus Functional languages Type theory Formal methods Theoretical computer science Eval OCaml Type system Scheme Software engineering Computing Programming language theory
337	DSL Implementation in MetaOCaml, Template Haskell, and C++ Krzysztof Czarnecki1 , John O’Donnell2 , J¨org Striegnitz3 , and Walid Taha4 Add to Reading List Source URL: camlunity.ru Language: English - Date: 2010-05-30 08:33:30 Functional languages Eval Haskell Type system OCaml Conditional Typedef Read–eval–print loop Template metaprogramming Software engineering Computing Computer programming
338	Understanding and Evolving the ML Module System Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-08-07 13:42:03 Functional languages Procedural programming languages Type theory ML Type system Standard ML of New Jersey Programming language OCaml Module Software engineering Computing Programming language theory
339	shift/reset 23 Add to Reading List Source URL: pllab.is.ocha.ac.jp Language: English - Date: 2011-09-23 03:42:06 Functional languages Continuations Control flow Delimited continuation Standard ML Reset OCaml Caml Computing Software engineering Computer programming
340	Motivation Why OCaml? Add to Reading List Source URL: proglang.informatik.uni-freiburg.de Language: English - Date: 2013-09-25 09:49:13 Functional languages Data types Type theory Procedural programming languages Functional programming OCaml Algebraic data type Anonymous function Caml Software engineering Computing Computer programming

UPDATE