Garrigue - PDFSEARCH.IO - Document Search Engine

Garrigue
Results: 111

#	Item
81	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
82	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
83	CZECH the NEWS Newsletter of the Embassy of the Czech Republic Ambassador’s Timeline of Events.. 2 Prime Minister in Washington, Czechs Closer to Visa-Free U.S. Travel.................................. 3 Add to Reading List Source URL: www.mzv.cz Language: English - Date: 2008-10-22 04:35:58 Václav Havel Václav Klaus Barrandov Studios Czechs Czechoslovak Society of Arts and Sciences Mila Rechcigl Barrandov Tomáš Garrigue Masaryk Mirek Topolánek Europe Czech Republic Theatre of the Absurd
84	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
85	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
86	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
87	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
88	CZECH the NEWS Newsletter of the Embassy of the Czech Republic Ambassador’s Timeline of Events.. 2 Prime Minister in Washington, Czechs Closer to Visa-Free U.S. Travel.................................. 3 Add to Reading List Source URL: www.mzv.cz Language: English - Date: 2008-10-22 04:35:58 Václav Havel Václav Klaus Barrandov Studios Czechs Czechoslovak Society of Arts and Sciences Mila Rechcigl Barrandov Tomáš Garrigue Masaryk Mirek Topolánek Europe Czech Republic Theatre of the Absurd
89	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
90	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

UPDATE