Hindley - PDFSEARCH.IO - Document Search Engine

Hindley
Results: 210

#	Item
41	Parallel Type-checking with Saturating LVars Peter Fogg Sam Tobin-Hochstadt Ryan R. Newton Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Type systems Procedural programming languages Theoretical computer science Type inference Monad ML Hindley–Milner Software engineering Computing Programming language theory
42	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory
43	Simple Unification-based Type Inference for GADTs Simon Peyton Jones Dimitrios Vytiniotis Stephanie Weirich Geoffrey Washburn Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:06 Software engineering Unification Type system Admissible rule Type inference Symbol Hindley–Milner Entailment Function Type theory Logic Mathematics
44	, , 1{48 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Optimal Representations of Polymorphic Types with Subtyping* ALEXANDER AIKEN Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:26 Programming language theory Subtype polymorphism Type inference Type system Hindley–Milner Variable System F Function Parametric polymorphism Type theory Software engineering Mathematics
45	Polymorphic Functions with Set-Theoretic Types Ar tifact Introduction Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-10-31 06:48:56 Computer science Lambda calculus Type inference Hindley–Milner Type system Unification Symbol System F ALGOL 68 Type theory Programming language theory Theoretical computer science
46	Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:00:24 Type theory Formal methods Type systems Constraint programming Satisfiability Modulo Theories Type inference Logic programming Hindley–Milner Algorithm Mathematics Theoretical computer science Applied mathematics
47	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: iscdb.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
48	December 1, 2001 Six Sigma Simplified How to Consistently Save $250,000 and Add It To Your Bottom Line! Denver, CO: Add to Reading List Source URL: www.qimacros.com Language: English - Date: 2012-07-24 10:08:59 Process management Evaluation General Electric Motorola Six Sigma DMAIC Hindley–Milner Lean Six Sigma Quality Management Business
49	The Ins and Outs of Gradual Type Inference Aseem Rastogi Avik Chaudhuri Stony Brook University Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2012-09-04 23:14:52 Programming language theory Type system Type inference Type safety Variable Closure System F Hindley–Milner Function Software engineering Type theory Computing
50	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory