Hindley–Milner - PDFSEARCH.IO - Document Search Engine

Hindley–Milner
Results: 144

#	Item
51	Microsoft Word - CD02.doc Add to Reading List Source URL: www.pharmasug.org Language: English - Date: 2010-04-24 11:31:42 4GL Business intelligence SAS Geographic information system Data set Hindley–Milner Statistics Computing Applied mathematics
52	BEST APPS FOR ACADEMICS A guide to the best apps for education and research Nicole Hennig Pam Nicholas Add to Reading List Source URL: bestappsforacademics2.files.wordpress.com Language: English - Date: 2014-09-23 18:53:02 Wolfram Research Wolfram Alpha Mathematica Web search engine Hindley–Milner Mathematical software Computing Science
53	Intermediate Analysis Fall 2014 Math[removed]TTH 10:20 – 11:15 (COHH[removed]Dr. Spraker – Office COHH 3110 – Home[removed] – Office[removed]removed] People.wku.edu/john.spraker/home.html Office Hours: Add to Reading List Source URL: people.wku.edu Language: English - Date: 2014-07-08 17:04:39 Homework Standards-based education Grade Mathematics Hindley–Milner Education Education reform Evaluation
54	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
55	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
56	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
57	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
58	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
59	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
60	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