Hindley–Milner - PDFSEARCH.IO - Document Search Engine

Hindley–Milner
Results: 144

#	Item
1	Functional Programming with Overloading and Higher-Order Polymorphism Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, UK. Abstract. The Hindley/Milner type sys Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-10-01 03:14:52
2	From Hindley-Milner Types to First-Class Structures Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England. Abstract Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-10-01 03:14:51 Type theory Software engineering Programming language theory Computer programming Standard ML System F ML Type constructor Polymorphism Kind System U Type inference
3	Many Holes in Hindley-Milner Sam Lindley Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp - Date: 2008-09-21 17:06:12
4	Ambivalent Types for Principal Type Inference with GADTs APLAS 2013, Melbourne Jacques Garrigue & Didier R´ Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:25:45 Type theory Procedural programming languages Functional languages Data types Type systems Type inference ALGOL 68 OCaml Hindley–Milner Software engineering Programming language theory Computing
5	Chapter 12 ASL: A Small Language We present in this chapter a simple language: ASL (A Small Language). This language is basically the λ-calculus (the purely functional kernel of Caml) enriched with a conditional constr Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Compiler construction Parsing Lexical analysis American Sign Language Lex Expr Hindley–Milner Computing Software Programming language implementation
6	PDF Document Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-01-23 08:33:00 Type theory Functional languages Data types Type systems Quantification ATS Hindley–Milner F Sharp System F Software engineering Computing Programming language theory
7	Experiments in generic programming: runtime type representation and implicit values Pierre Chambart1 , Grégoire Henry2 OUD 2012 Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-09-18 14:53:50 Functional languages Type theory Type systems OCaml Hindley–Milner Software engineering Computing Computer programming
8	Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-06-12 04:54:36 Computing Constraint satisfaction problem Type class Lambda calculus Normalisation by evaluation Constraint inference Declarative programming Constraint programming Software engineering
9	An Analyzer for Pascal W. M. Waite August 27, 2008 This document describes an analyzer for Pascal (ANSI/IEEE 770X3It was generated from an Eli1 specification of that analyzer. An abstract syntax tree structure Add to Reading List Source URL: eli-project.sourceforge.net Language: English - Date: 2008-08-29 15:29:08 Compiler construction Type theory Formal languages Procedural programming languages Cross-platform software Extended Backus–Naur Form Pascal Hindley–Milner C Software engineering Programming language theory Computing
10	T I M S S Supplement Variables Derived from the Student and Teacher Add to Reading List Source URL: isc.bc.edu Language: English - Date: 2000-03-08 10:34:52 Evaluation methods Algebra Logical syntax Hindley–Milner Questionnaire Mathematics Variables Type theory

UPDATE