ML - PDFSEARCH.IO - Document Search Engine

ML
Results: 4856

#	Item
931	O FFICE OF N ANCY R EAGAN Nancy Davis Reagan July 6, 1921 – March 6, 2016 Nancy Davis Reagan was born on July 6, 1921, in New York City. Raised in Chicago, she graduated from Girls’ Latin School and went on to Smith Add to Reading List Source URL: ml.reaganfoundation.org Language: English - Date: 2016-03-06 12:17:42 Ronald Reagan Nancy Reagan Ronald Reagan Presidential Library Reagan Hellcats of the Navy Just Say No The Reagan Diaries
932	GADTs and exhaustiveness: looking for the impossible Jacques Garrigue Nagoya University Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2015-09-10 01:45:47 Software engineering Computer programming Computing Functional languages Data types Procedural programming languages Functional programming Type theory Generalized algebraic data type OCaml ML Caml
933	mit buntem Gemüsemuffin (Erbsen, Möhren, Mais) Nährwerte pro Portion: (300 ml Suppe + 120 g Muffin) Energie (kcal) 319 Add to Reading List Source URL: www.dgevesch-ni.de Language: German - Date: 2015-12-11 03:32:49
934	BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science Add to Reading List Source URL: brics.dk Language: English - Date: 2005-03-21 05:10:41 Software engineering Computer programming Declarative programming Functional programming Functional languages Subroutines Recursion Procedural programming languages Standard ML Tail call ML Monad
935	A New Design Technique for Weakly Indicating Function Blocks P. Balasubramanian, D.A. Edwards School of Computer Science, The University of Manchester, Oxford Road, Manchester Ml 3 9PL, United Kingdom. E-mail: (padmanab, Add to Reading List Source URL: apt.cs.manchester.ac.uk Language: English - Date: 2014-05-13 09:16:42
936	Grammars and parsing with F# Peter Sestoft1Updatedfor Moscow ML 1.41 Updatedby Ken Friis Larsen2 Updatedby Ken Friis Larsen Add to Reading List Source URL: www.itu.dk Language: English - Date: 2016-02-23 15:05:41
937	Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-06 08:22:15 Type theory Data types Functional languages Type systems Object-oriented programming languages OCaml Type inference Generalized algebraic data type Unification ML HindleyMilner type system Type conversion
938	Structured Transforms for Small-Footprint Deep Learning arXiv:1510.01722v1 [stat.ML] 6 OctVikas Sindhwani Add to Reading List Source URL: www.sanjivk.com Language: English - Date: 2015-10-09 19:21:49
939	1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:31 Software engineering Computer programming Programming language theory Type theory Data types Functional languages Functional programming Procedural programming languages Standard ML Algebraic data type Tagged union Unification
940	Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However, Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:34 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Eval Standard ML Anonymous function HindleyMilner type system OCaml Polymorphism

UPDATE