Garrigue - PDFSEARCH.IO - Document Search Engine

Garrigue
Results: 111

#	Item
61	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue and Jacques Le Normand 1 Synopsys Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-05-19 19:25:32 Functional languages Procedural programming languages Type theory Data types OCaml Type system ALGOL 68 ML Caml Software engineering Programming language theory Computing
62	Konstantin Sakharow THE CZECHS LEGIONS IN SIBERIA Add to Reading List Source URL: www.hungarianhistory.com Language: English - Date: 2013-01-07 23:00:43 Tomáš Garrigue Masaryk Czechoslovakia White movement Czechs Trans-Siberian Railway Revolt of Czechoslovak Legion Origins of Czechoslovakia Europe Aftermath of World War I Czechoslovak Legions
63	The OCaml system release 4.00(beta) 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: 2012-06-06 08:03:00 OCaml Coupling Comparison of programming languages Caml Preprocessor Arbitrary-precision arithmetic Perl module Software engineering Computing Computer programming
64	IV-4c Zapojení do projektů 7. RP Fakulta Řešitel Název projektu (Zkratka) Add to Reading List Source URL: xs.ruk.cuni.cz Language: English - Date: 2013-07-22 09:33:36 CERGE-EI Order of Tomáš Garrigue Masaryk Westmoravian College Třebíč
65	University of Economics in Bratislava Faculty of International Relations International scientific committee: in cooperation with Add to Reading List Source URL: fmv.euba.sk Language: English - Date: 2015-04-10 04:13:44 ING Group Professor University of Economics in Bratislava Knowledge University of International and Public Relations Prague Order of Tomáš Garrigue Masaryk Education Academia Doctorate
66	IV-4c Zapojení do projektů 7. RP Fakulta / Součást Řešitel Add to Reading List Source URL: xs.ruk.cuni.cz Language: English - Date: 2012-09-17 10:54:36 Doctorate Order of Tomáš Garrigue Masaryk Westmoravian College Třebíč
67	Crumbling of Empires and Emerging States: Czechoslovakia and Yugoslavia as (Multi)national Countries By Katrin Boeckh During the First World War, Czechoslovakia and the Kingdom of the Serbs, Croats, and Add to Reading List Source URL: encyclopedia.1914-1918-online.net Language: English - Date: 2015-02-02 08:38:11 Landlocked countries Liberal democracies Member states of the United Nations First Czechoslovak Republic Czechoslovakism Czechoslovakia Tomáš Garrigue Masaryk Slovaks Czechoslovak language Europe Slavic nations Aftermath of World War I
68	On variance, injectivity, and abstraction Jacques Garrigue Nagoya University Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-21 22:43:59 Probability theory Variance Covariance and contravariance Parameter Statistics Data analysis Mathematics
69	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
70	J. CETACEAN RES. MANAGE. 4(3):255–260, [removed]Movements of humpback whales in Oceania, South Pacific Claire Garrigue, Anelio Aguayo+, V.L.U. Amante-Helweg#, C. Scott Baker, Susana Caballero++, Phillip Add to Reading List Source URL: www.whaleresearch.org Language: English* - Date: 2011-04-05 22:04:22 Cetaceans Biology Humpback whale Oceans Whale Whaling Whale watching Whaling in Japan Zoology Baleen whales Megafauna

UPDATE