Jacques - PDFSEARCH.IO - Document Search Engine

Jacques
Results: 5870

#	Item
601	Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-06 08:22:15 Type theory Data types Functional languages Type systems Object-oriented programming languages OCaml Type inference Generalized algebraic data type Unification ML HindleyMilner type system Type conversion
602	Semantic-Based Semi-Automatic Web Service Composition Abdaladhem Albreshne#1, Jacques Pasquier2 # Computer Department, Fribourg University Add to Reading List Source URL: diuf.unifr.ch Language: English* - Date: 2010-10-28 05:05:40
603	Datamosh Dashcam "Paintings" by Jacques Perconte at CutLog Are Amazing - ANIMAL Add to Reading List Source URL: www.galeriecharlot.com Language: English - Date: 2014-02-09 16:57:09
604	Jean-Jacques de Peretti RAPPORT A MONSIEUR LE PRESIDENT DE LA REPUBLIQUE SUR LA CLARIFICATION DES COMPETENCES DES COLLECTIVITES TERRITORIALES Add to Reading List Source URL: www.inventaire.culture.gouv.fr Language: French - Date: 2011-10-12 04:52:21
605	Ambivalent Types for Principal Type Inference with GADTs Jacques Garrigue1 and Didier R´emy2 1 Nagoya University, Graduate School of Mathematics Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:37:28 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Orbifold Symbol
606	Mechanized Mathematics Jacques Carette1 1 Department of Computing and Software, McMaster University www.cas.mcmaster.ca/∼carette Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-06-04 07:38:09 Theoretical computer science Computability theory Recursion Subroutines Mathematics Usability
607	Relevé de décisions du Conseil des Membres Séance du 18 septembre 2015 Présidence: Madame Annie VINTER, Présidente provisoire de la COMUE UBFC. Membres présents ou représentés: Messieurs Jacques BAHI, Président Add to Reading List Source URL: www.ubfc.fr Language: French - Date: 2015-10-23 05:57:31
608	Conditions Générales de Vente de Webncie 1 - NOTRE SOCIETE SARL Webncie société de droit Français représentée par Jacques DANCEDE au capital de 7000 euros, domicilié : 4 impasse du Bois des Lacs – 31120 Roquett Add to Reading List Source URL: www.webncie.fr Language: French - Date: 2015-06-26 06:08:41
609	Massively Distributed Virtual Worlds A Formal Approach Patrik Fuhrer and Jacques Pasquier-Rocha University of Fribourg Department of Informatics Rue P.-A. de Faucigny 2 Add to Reading List Source URL: diuf.unifr.ch Language: English - Date: 2010-02-02 03:09:32
610	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: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:31 Software engineering Computer programming Programming language theory Type theory Data types Functional languages Functional programming Procedural programming languages Standard ML Algebraic data type Tagged union Unification

UPDATE