Garrigue - PDFSEARCH.IO - Document Search Engine

Garrigue
Results: 111

#	Item
51	The Objective Caml system release 3.06 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: 2002-08-20 03:44:31
52	2012 K The beautiful syrah Feminine, deep and compelling. First off a beautiful fragrance of black plum, exotic spice, toasted brioche. Luxurious and sexy with a palate anchored with crushed rock, wet earth and garrigue. Add to Reading List Source URL: www.charlessmithwines.com Language: English - Date: 2014-10-03 17:39:53
53	First-class modules and composable signatures in Objective Caml 3.12 Jacques Garrigue (Nagoya University) http://www.math.nagoya-u.ac.jp/~garrigue/ with Alain Frisch (Lexifi), OCaml developper team (INRIA) Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2010-09-26 00:32:24
54	Adding GADTs to OCaml the direct approach Jacques Garrigue & Jacques Le Normand Nagoya University / LexiFi (Paris) https://sites.google.com/site/ocamlgadt/ Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2011-09-27 22:03:35
55	Coopérative de capital-risque solidaire Janvier- Février- Mars 2015 N° 7 Add to Reading List Source URL: www.garrigue.net Language: French - Date: 2015-04-08 09:43:13
56	The Objective Caml system release 3.02 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: 2001-07-30 07:37:07
57	Le sous-typage d’OCaml Jacques Garrigue 25 juin 2008 Objective Caml est ´equip´e d’une relation de sous-typage. Pour ´eviter les interf´erences avec l’inf´erence de types, la r`egle de subsomption est explicit Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: French - Date: 2008-06-25 02:38:45
58	General topics of doctoral theses and the supervisors for doctoral study in academic yearJanuary 2015 Add to Reading List Source URL: www.fav.zcu.cz Language: English - Date: 2015-01-29 08:52:06 Doctorate Doctor of Science Professor Institute of Chemical Process Fundamentals Order of Tomáš Garrigue Masaryk Education Academia Knowledge
59	Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´ Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:25:45 Type theory Procedural programming languages Functional languages Data types Type systems Type inference ALGOL 68 OCaml Hindley–Milner Software engineering Programming language theory Computing
60	A Syntactic Type System for Recursive Modules Hyeonseung Im Keiko Nakata Jacques Garrigue Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-04-16 05:17:54 Functional languages Recursion Data types Type theory Procedural programming languages Standard ML OCaml Caml Module Software engineering Computer programming Computing

UPDATE