Hindley–Milner

#	Item
141	PDF Document Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 08:53:19 Programming language theory Data types Type inference Parametric polymorphism Type variable Type system Polymorphism Hindley–Milner ML Software engineering Type theory Computing
142	PDF Document Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:24 Data types Type theory C programming language Procedural programming languages C++ Type system Array data type C syntax Hindley–Milner Software engineering Computing Computer programming
143	PDF Document Add to Reading List Source URL: groups.csail.mit.edu Language: English Computer science Formal methods Type systems Algorithms Hindley–Milner Unification Lambda calculus Natural deduction Heat equation Theoretical computer science Applied mathematics Type theory
144	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-09-15 04:36:07 Mathematical logic Type system Unification Admissible rule Type inference Symbol Entailment Generic programming Hindley–Milner Type theory Logic Mathematics