Caml - PDFSEARCH.IO - Document Search Engine

Caml
Results: 245

#	Item
201	1 To appear in J. Functional Programming A modular module system XAVIER LEROY Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:15 Functional languages Procedural programming languages Program analysis Type system Type theory Module ML D-module OCaml Software engineering Computer programming Computing
202	Relaxing the Value Restriction Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Sakyo-ku, Kyoto[removed]removed] Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Type theory Parametric polymorphism Standard ML Type system Type inference ML Polymorphism Hindley–Milner Valuation Software engineering Programming language theory Computing
203	Simple Type Inference for Structural Polymorphism Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, [removed]Kyoto, JAPAN [removed] Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Classical cipher Index of agriculture articles Computer programming Software engineering Computing
204	Information and Computation 155, [removed]Article ID inco[removed], available online at http://www.idealibrary.com Semi-Explicit First-Class Polymorphism for ML Jacques Garrigue Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Computing Type inference Type system ML Parametric polymorphism Hindley–Milner System F Polymorphism Type safety Type theory Software engineering Programming language theory
205	ACCORD DE PARTENARIAT Définissant et organisant le CONSORTIUM CAML ENTRE: INSTITUT NATIONAL DE LA RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE (INRIA) Etablissement public à caractère technologi Add to Reading List Source URL: caml.inria.fr Language: French - Date: 2014-10-14 09:16:23
206	Applicative functors and fully transparent higher-order modules Xavier Leroy INRIA B.P. 105, Rocquencourt, 78153 Le Chesnay, France. [removed] Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Functors Adjoint functors Homological algebra Standard ML Monad Limit Free object Denotational semantics Sheaf Abstract algebra Category theory Mathematics
207	acb!dedfhgLi,jlkmon)peqersutmoj Add to Reading List Source URL: caml.inria.fr Language: Swedish - Date: 2011-11-23 03:22:15
208	An Introduction to the OCaml Language Ashish Agarwal http://ashishagarwal.org The NYC OCaml Meetup May 10, 2012 Add to Reading List Source URL: files.meetup.com Language: English - Date: 2012-05-11 08:14:39 Functional languages OCaml Caml Printf format string ATS Computing Software engineering Software
209	Proc. 21st Symp. Principles of Programming Languages, 1994, pages 109–122. Manifest types, modules, and separate compilation Xavier Leroy ∗ Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:15 Computing Type system Forgetful functor Type safety Module Monad Type inference Sheaf Limit Type theory Software engineering Programming language theory
210	Labeled and optional arguments for Objective Caml∗ Jacques Garrigue† Abstract We added labeled and optional arguments to the Objective Caml language, combining currying and commutation. Contrary to a previous attempt Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:14 Procedural programming languages Subroutines Functional languages Models of computation ML Named parameter Caml Lambda calculus ALGOL 68 Software engineering Computing Programming language theory