Hindley–Milner - PDFSEARCH.IO - Document Search Engine

Hindley–Milner
Results: 144

#	Item
121	L2/13-064R Feedback on the Proposed Update for UAX#9 (unidode.org/reports/tr9-28.html) Asmus Freytag April 28, 2o13 (revised) Add to Reading List Source URL: www.unicode.org Language: English - Date: 2013-04-29 19:37:53 Computer science Algorithms Formal methods Mathematical logic X10 Bracket Bi-directional text Stack Hindley–Milner Mathematics Theoretical computer science Applied mathematics
122	Microsoft Word - Codebook_COG09_TD_DEC11.docx Add to Reading List Source URL: pisa2009.acer.edu.au Language: English - Date: 2014-02-02 20:10:47 Evaluation Variables Hindley–Milner Grade Type theory Education Mathematics
123	Microsoft Word - Codebook_COG09_S_DEC11.docx Add to Reading List Source URL: pisa2009.acer.edu.au Language: English - Date: 2011-12-14 19:42:29 Education Variables Test Hindley–Milner ISO 216 Type theory Mathematics Software engineering
124	PDF Document Add to Reading List Source URL: timss.bc.edu Language: English - Date: 2000-03-08 10:34:52 Evaluation methods Algebra Logical syntax Hindley–Milner Questionnaire Mathematics Variables Type theory
125	PDF Document Add to Reading List Source URL: economics.byu.edu Language: English - Date: 2010-08-31 17:04:44 Algorithms Hindley–Milner Type theory FO Applied mathematics Theoretical computer science Mathematics
126	Microsoft Word - graph_vrs_wd.doc Add to Reading List Source URL: www.st.nmfs.noaa.gov Language: English - Date: 2014-07-29 15:47:54 Mathematics Computer science Iteration Hindley–Milner Applied mathematics
127	Microsoft Word - graph_crs_wd.doc Add to Reading List Source URL: www.st.nmfs.noaa.gov Language: English - Date: 2014-07-29 15:50:40 Mathematics Computer science Iteration Hindley–Milner Applied mathematics
128	Apache UIMA™ Ruta Guide and Reference Add to Reading List Source URL: uima.apache.org Language: English - Date: 2014-04-14 07:24:45 UIMA Cross-platform software General Architecture for Text Engineering Regular expression Domain-specific language Hindley–Milner Apache Ant Software Computing Software architecture
129	Functional Programming and Specification Lecture Note 4, 15 March 2011 Specifying structures in Extended ML Axioms can be used to specify structures too. A structure will typically contain several Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-15 06:23:39 Data types Z notation ALGOL 68 Hindley–Milner Array data type List Constructible universe S Comparison of programming languages Software engineering Computing Programming language theory
130	Robinson Unification Algorithm in F# Learning version This is a learning version of the Robinson unification algorithm. A final different version will become part of a library for doing AST transformations. I wrote the c Add to Reading List Source URL: www.antlr3.org Language: English - Date: 2014-04-25 11:51:26 Automated theorem proving Logic programming Unification Hindley–Milner Combinatory logic Theoretical computer science Applied mathematics Mathematics