Hindley - PDFSEARCH.IO - Document Search Engine

Hindley
Results: 210

#	Item
101	T I M S S Supplement Variables Derived from the Student and Teacher Add to Reading List Source URL: timssandpirls.bc.edu Language: English - Date: 2000-03-08 10:34:52 Evaluation methods Algebra Logical syntax Hindley–Milner Questionnaire Mathematics Variables Type theory
102	Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1 Add to Reading List Source URL: ctan.mirrorcatalogs.com Language: English - Date: 2004-08-22 15:59:00 Algorithms Hindley–Milner Theoretical computer science Type inference String Encoding Mathematics Type theory Computing
103	MLF Raising ML to the Power of System F Didier Le Botlan and Didier Rémy INRIA-Rocquencourt[removed]Le Chesnay Cedex, France Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2003-07-22 09:19:37 Type theory Formal methods Models of computation Lambda calculus Symbol System F Hindley–Milner Ordinal number Dynamical system Theoretical computer science Mathematics Applied mathematics
104	C.J. HINDLEY-HUMBOLDT COUNTY MARATHON $20,000 Guaranteed FOR THREE YEAR-OLDS AND UPWARD By subscription of $50 to accompany the nomination, $100 additional to enter. $500 to Supplement by noon Wednesday, August 20st. Wit Add to Reading List Source URL: www.calfairs.com Language: English - Date: 2014-08-20 15:57:19 Houle Howie Greiner
105	C.J. HINDLEY-HUMBOLDT COUNTY MARATHON $20,000 Guaranteed FOR THREE YEAR-OLDS AND UPWARD By subscription of $50 to accompany the nomination, $100 additional to enter. $500 to Supplement by noon Wednesday, August 20st. Wit Add to Reading List Source URL: www.calfairs.com Language: English - Date: 2014-08-19 12:54:04 B.G. Ha Roskilde Festival
106	Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1 Add to Reading List Source URL: piotrkosoft.net Language: English - Date: 2004-08-22 15:59:00 Algorithms Hindley–Milner Theoretical computer science Type inference String Encoding Mathematics Type theory Computing
107	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
108	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
109	Package ‘SBRect’ July 20, 2014 Version 0.26 Date[removed]Title Detecting structural breaks using rectangle covering (non-parametric method). Author Paul Fischer [aut, cre, cph],Astrid Hilbert [ctb, cph] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-20 15:17:33 Mathematical optimization Algorithm Mathematical logic Genetic algorithm Vector space Hindley–Milner Mathematics Algebra Theoretical computer science
110	Abstract This document contains some demonstrations of features in the xdoc package. It’s not particularly organised, though. 1 Add to Reading List Source URL: ctan.yazd.ac.ir Language: English - Date: 2004-08-22 15:59:00 Algorithms Hindley–Milner Theoretical computer science Type inference String Encoding Mathematics Type theory Computing