Caml - PDFSEARCH.IO - Document Search Engine

Caml
Results: 245

#	Item
191	The Objective Caml system release 3.10 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon) Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2007-05-16 04:16:56 Functional languages OCaml Perl Caml Coupling Perl module Software engineering Computer programming Computing
192	The Objective Caml system release 3.11 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon) Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2008-11-26 05:28:58 Functional languages OCaml Perl Caml Coupling Perl module Software engineering Computer programming Computing
193	The Objective Caml system release 3.08 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon) Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2004-07-13 07:32:43 Functional languages OCaml Perl Caml Coupling Perl module Software engineering Computer programming Computing
194	The Objective Caml system release 3.09 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon) Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2005-10-27 07:58:02 Functional languages OCaml Perl Caml Coupling Perl module Software engineering Computer programming Computing
195	Using, Understanding, and Unraveling The OCaml Language From Practice to Theory and vice versa Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2006-10-09 03:17:38 Type theory Data types Functional languages OCaml Caml ML Type system Type inference Type soundness Software engineering Programming language theory Computing
196	A proposal for recursive modules in Objective Caml Xavier Leroy INRIA Rocquencourt Version 1.1, May 13, 2003 This notes describes a design and prototype implementation of an extension of the Objective Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:15 Programming idioms Type theory Recursion Functional languages Procedural programming languages Type system Module Caml ALGOL 68 Software engineering Computer programming Computing
197	Programming with Polymorphic Variants Jacques Garrigue Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Data types Polymorphism Computing Object-oriented programming Symbol Lambda calculus Type system Subtype polymorphism Parametric polymorphism Type theory Software engineering Programming language theory
198	Objective ML: An effective object-oriented extension to ML Didier Remy and Jer Vouillon Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Type theory Data types Models of computation Program analysis Type system Subtype polymorphism Symbol Objective-C Closure Software engineering Computing Programming language theory
199	1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Computer programming Data types Functional languages Procedural programming languages Functional programming Standard ML Algebraic data type Type system Tagged union Software engineering Computing Type theory
200	Network: nyuguest Username: guest3 Password: flanaipf Getting Started with OCaml Ashish Agarwal Add to Reading List Source URL: files.meetup.com Language: English - Date: 2012-04-01 09:47:11 OCaml GODI Read–eval–print loop Emacs Caml Append Wget Software Computing Lisp programming language