Hindley - PDFSEARCH.IO - Document Search Engine

Hindley
Results: 210

#	Item
31	Independent Drug Monitoring Unit ® I.D.M.UPark Road, Hindley, Wigan. WN2 3RX Add to Reading List Source URL: www.idmu.co.uk Language: English - Date: 2010-09-21 11:34:45 Law Drug policy reform Prohibition of drugs Drug liberalization Legality of cannabis Cocaine Illegal drug trade Substance dependence Controlled Drug Drug control law Medicine Pharmacology
32	Polymorphic Binding Time Analysis Masters Thesis Christian Mossin DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language theory Data types Polymorphism Lambda calculus Object-oriented programming Type system Type inference Hindley–Milner Simply typed lambda calculus Software engineering Type theory Computing
33	Apache UIMA™ Ruta Guide and Reference Add to Reading List Source URL: uima.apache.org Language: English - Date: 2014-09-23 09:36:41 UIMA Cross-platform software General Architecture for Text Engineering Regular expression Domain-specific language Hindley–Milner Apache Ant Software Computing Software architecture
34	Joint EPS paper Singularization of data subgroups in the International Stellarator-Heliotron Confinement Database A. Kus1, A. Dinklage1, E. Ascasibar2, C.D. Beidler1, T. Estrada2, H. Funaba3, J. Geiger1, J.H. Harris4,5, Add to Reading List Source URL: ishcdb.nifs.ac.jp Language: English - Date: 2012-07-20 01:39:48 Multivariate statistics Econometrics Hindley–Milner Type theory Cluster analysis MBTA crosstown bus routes Regression analysis Dinklage Statistics Market research Product management
35	History of Lambda-calculus and Combinatory Logic J. Roger Hindley † 2006, from Swansea University Mathematics Department Research Report Add to Reading List Source URL: www.users.waitrose.com Language: English - Date: 2008-01-14 18:38:50 Lambda calculus Combinatory logic Computability theory Fixed-point combinator Function Haskell Curry Free variables and bound variables Principia Mathematica First-order logic Mathematics Mathematical logic Theoretical computer science
36	Type Inference for First-Class Messages with Match-Functions Paritosh Shroff Scott F. Smith Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-10-26 21:47:01 Software engineering Type inference Lambda calculus Standard ML Kind System F Type system Hindley–Milner Unification Type theory Programming language theory Theoretical computer science
37	Design and Definition of CeXL and ξ-Calculus Version 0.9.3 ´ Anoq of the Sun, Hardcore Processing Add to Reading List Source URL: www.cex3d.net Language: English - Date: 2015-04-10 16:01:05 Type theory Functional languages Data types Procedural programming languages Subroutines ML Type system Type inference Hindley–Milner Software engineering Programming language theory Computing
38	1 A modern eye on ML type inference Old techniques and recent developments Franc¸ois Pottier Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-09-20 09:57:28 Computing Type inference ML Type system Generalized algebraic data type Hindley–Milner Hindley Lambda calculus Programming language theory Type theory Software engineering
39	A modern eye on ML type inference – Old techniques and recent developments – Franc¸ois Pottier INRIA September 2005 Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2007-01-26 09:13:38 Computing Type inference Type system Lambda calculus Constraint programming Hindley–Milner Generalized algebraic data type Constraint satisfaction Standard ML Software engineering Programming language theory Type theory