Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
111	Mtac: A Monad for Typed Tactic Programming in Coq Beta Ziliani MPI-SWS Derek Dreyer Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2013-07-18 07:46:11
112	PDF Document Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2016-05-26 17:41:56 Type theory Object-oriented programming languages Scripting languages Program analysis Type system Objective-C Ruby Dynamic programming language Fold Library JavaScript Monad
113	Mtac: A Monad for Typed Tactic Programming in Coq Beta Ziliani MPI-SWS Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-18 05:14:00
114	Introduction & overview The expectation monad, effect algebras/modules & other monads Algebras of the expectation monad & duality Relevance for quantum foundations & probabilistic programming Conclusions Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-31 08:17:31
115	QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-10-12 13:45:57 Software engineering Computer programming Functional languages Software testing Functional programming QuickCheck Random testing Literate programming Procedural programming languages Monad Test data generation Haskell
116	PDF Document Add to Reading List Source URL: www.monad.de - Date: 2012-10-26 03:50:40
117	FOCUS-MONEY MONEYMARKETS laufenden Börsenzeiten hohe Erträge erzielen kann oder Gewinne Add to Reading List Source URL: www.monad.de Language: German - Date: 2014-01-29 05:31:25
118	A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Software engineering Mathematics Declarative programming Lambda calculus Functional programming Functions and mappings Let expression Embedding Monad Anonymous function
119	Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Asterios Katsifodimos Volker Markl Add to Reading List Source URL: stratosphere.eu Language: English - Date: 2016-05-27 12:05:58 Software engineering Computer programming Computing Higher-order functions Functional languages Concurrent programming languages Programming language comparisons Functional programming Apache Spark List comprehension Oz Monad
120	Bundesweit Filialleiter/innen gesucht Der Beginn einer sicheren und einzigartigen Karriere Nehmen Sie diese Broschüre mit und bewerben Sie sich. Add to Reading List Source URL: www.monad.de Language: German - Date: 2016-01-25 03:47:44

UPDATE