Hindley–Milner - PDFSEARCH.IO - Document Search Engine

Hindley–Milner
Results: 144

#	Item
11	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
12	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
13	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
14	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
15	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
16	Polymorphic Binding Time Analysis Masters Thesis Christian Mossin DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language theory Data types Polymorphism Lambda calculus Object-oriented programming Type system Type inference Hindley–Milner Simply typed lambda calculus Software engineering Type theory Computing
17	Apache UIMA™ Ruta Guide and Reference Add to Reading List Source URL: uima.apache.org Language: English - Date: 2014-09-23 09:36:41 UIMA Cross-platform software General Architecture for Text Engineering Regular expression Domain-specific language Hindley–Milner Apache Ant Software Computing Software architecture
18	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: ishcdb.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
19	Type Inference for First-Class Messages with Match-Functions Paritosh Shroff Scott F. Smith Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-10-26 21:47:01 Software engineering Type inference Lambda calculus Standard ML Kind System F Type system Hindley–Milner Unification Type theory Programming language theory Theoretical computer science