Hindley–Milner - PDFSEARCH.IO - Document Search Engine

Hindley–Milner
Results: 144

#	Item
41	A PlusCal User’s Manual C-Syntax∗ Version 1.8 Leslie Lamport 11 February 2013 ∗ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-02-11 16:05:06 Type theory Theoretical computer science Algorithms Formal methods Type systems PlusCal Algorithm Programming language Hindley–Milner Software engineering Computing Computer programming
42	Going Against the Flow for Type-less Programming Sean McDirmid Microsoft Research Beijing China [removed] Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-03-31 10:51:45 Computing Type system Subtype polymorphism Type class Type inference Covariance and contravariance Type safety Hindley–Milner Polymorphism Type theory Software engineering Programming language theory
43	JOURNAL OF COMPUTER AND SYSTEM SCIENCES Add to Reading List Source URL: courses.engr.illinois.edu Language: English - Date: 2013-01-02 17:11:04 Programming language theory Data types Functional programming Type system Polymorphism Denotational semantics Hindley–Milner Type variable Unification Software engineering Type theory Computing
44	HOL Formalised: Deductive System R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:58:39 Logic in computer science Formal methods Theoretical computer science Algorithms Hindley–Milner Type theory HOL ALGOL 68 Natural deduction Logic Mathematics Programming language theory
45	Property Based Dispatch in Functional Languages Property Based Dispatch in Functional Languages Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2012-04-05 00:36:46 Lisp programming language Functional languages Lisp Hindley–Milner Common Lisp Software engineering Programming language theory Computing
46	A Theory of Type Qualifiers∗ Jeffrey S. Foster [removed] Manuel F¨ ahndrich Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:25 Programming language theory Subtype polymorphism Symbol Type inference Hindley–Milner Type system Type safety Simply typed lambda calculus Reference Software engineering Type theory Computing
47	Qualified Types for ML-F Daan Leijen and Andres L¨oh 27 September 2005 Motivation / contribution Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Computing Type inference Type system ML Hindley–Milner Type class Id Haskell Polymorphism Software engineering Type theory Programming language theory
48	Facilitating Reuse in Hardware Models with Enhanced Type Inference Manish Vachharajani Neil Vachharajani Add to Reading List Source URL: liberty.cs.princeton.edu Language: English - Date: 2011-11-28 14:53:01 Computing Type inference Type system Parametric polymorphism Subtype polymorphism Generic programming Standard ML Hindley–Milner Data type Type theory Software engineering Programming language theory
49	Department of State Pt. 62, App. D Certification as to (1)–(6) Requirements: I understand that false certification may Add to Reading List Source URL: www.gpo.gov Language: English - Date: 2014-08-20 12:08:42 Standard Generalized Markup Language Applied mathematics Computer science Loyal Legion of Loggers and Lumbermen Computing Hindley–Milner
50	Property Based Dispatch in Functional Languages Property Based Dispatch in Functional Languages Add to Reading List Source URL: blog.vjeux.com Language: English - Date: 2013-02-15 12:54:00 Lisp programming language Functional languages Lisp Hindley–Milner Common Lisp Software engineering Programming language theory Computing

UPDATE