Milner - PDFSEARCH.IO - Document Search Engine

Milner
Results: 663

#	Item
81	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
82	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
83	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
84	Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-08-11 17:16:11 Lambda calculus Formal methods Theoretical computer science Type theory Models of computation De Bruijn index Free variables and bound variables Combinatory logic Hindley–Milner Software engineering Mathematics Computing
85	Fixing Letrec (reloaded) Abdulaziz Ghuloum R. Kent Dybvig Indiana University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:06 Formal methods Theoretical computer science Functional programming Models of computation Lambda calculus Scheme Hindley–Milner Hygienic macro Expression Software engineering Computing Mathematics
86	An Approach to Completing Variable Names for Implicitly Typed Functional Languages Takumi Goto Isao Sasano Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2012-02-22 04:44:30 Software engineering Type inference Unification Function Type system Hindley–Milner Free variables and bound variables Standard ML Lambda calculus Mathematics Type theory Mathematical logic
87	FRANCINA MILNER JOAN vANTHONY GEORGE HODGSONHIGH COURTMAKUNGU, J.,18th NOVEMBER, HK/433[1] Contract - Duress - Conditions to be satisfied.[2] Family law - Common law marriage - Requirements thereof.The plaintif Add to Reading List Source URL: www.zambialii.org Language: English - Date: 2015-02-04 11:00:25 Lawsuit Plaintiff Tort law Kirksey v. Kirksey Negligence Law Contract law Contract
88	Microsoft Word - HLC_paper_Milner.et.al.FINAL.docx Add to Reading List Source URL: apir.wisc.edu Language: English - Date: 2015-04-29 08:03:53 North Central Association of Colleges and Schools Academia Committee on Institutional Cooperation University of Wisconsin–Madison Massachusetts Institute of Technology Aaron Brower Tuition payments Association of American Universities Association of Public and Land-Grant Universities Education
89	Modelling RTP-based Residential Load Scheduling for Demand Response in Smart Grids? Shan He12 , Ariel Liebman1 , Andrea Rendl12 , Mark Wallace12 , Campbell Wilson1 1 Faculty of IT, Monash University, Australia Add to Reading List Source URL: andrearendl.com Language: English - Date: 2014-07-29 20:54:49 Electric power transmission systems Smart grid Demand response Electricity market Time-based pricing Smart meter Scheduling Hindley–Milner Economic model Electric power Energy Electric power distribution
90	Memphis Language Reference Manual This document specifies Memphis, an extension of C/C++ [1, 2], that supports the definition and processing of symbolic data such as abstract syntax trees in compilers. Memphis provides a Add to Reading List Source URL: memphis.compilertools.net Language: English - Date: 2006-03-28 08:30:40 Procedural programming languages Type theory Standard ML Conditional Pattern matching ALGOL 68 Hindley–Milner Forward declaration C syntax Software engineering Programming language theory Computing

UPDATE