Monad - PDFSEARCH.IO - Document Search Engine

Monad
Results: 766

#	Item
301	A Generic Deriving Mechanism for Haskell Jos´e Pedro Magalh˜aes1 Atze Dijkstra1 Johan Jeuring1,2 Add to Reading List Source URL: dreixel.net Language: English - Date: 2014-11-04 15:52:18 Data types Type theory Functional programming Glasgow Haskell Compiler Generic programming Map Tagged union Monad Software engineering Computing Computer programming
302	Parallel Type-checking with Saturating LVars Peter Fogg Sam Tobin-Hochstadt Ryan R. Newton Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Type systems Procedural programming languages Theoretical computer science Type inference Monad ML Hindley–Milner Software engineering Computing Programming language theory
303	c Cambridge University Press 2011 JFP 21 (4 & 5): 413–465, 2011. 413 doi:S0956796811000189 First published online 16 August 2011 Add to Reading List Source URL: okmij.org Language: English - Date: 2011-11-24 23:45:09 Functional languages Functional programming Literate programming Monad Curry Haskell Combinatory logic Actor model Lazy evaluation Software engineering Computing Computer programming
304	Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant Rowan Davies Sam Tobin-Hochstadt Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Symbol Clojure Monad Computing Software engineering Declarative programming
305	Handlers of Algebraic Effects Gordon Plotkin ? and Matija Pretnar Add to Reading List Source URL: matija.pretnar.info Language: English - Date: 2014-10-06 03:14:23 Topology Symbol Denotational semantics Monad Model theory Sheaf Orbifold Μ operator Theoretical computer science Logic in computer science Mathematics
306	User Queries for Specification Refinement Treating Shared Aspect Join Points Emilia Katz, Shmuel Katz Computer Science Department Technion – Israel Institute of Technology Haifa, Israel Email: {emika, katz}@cs.technion Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:15:27 Aspect-oriented software development Join point Pointcut AspectJ Spring Framework Advice Monad Actor model Grammatical aspect Software development Software Aspect-oriented programming
307	Microsoft PowerPoint - BSBI Botany News VC92 South Aberdeenshire 2 March 2014 Add to Reading List Source URL: bsbi.org.uk Language: English - Date: 2014-10-13 13:49:37 Hectad Botanical Society of the British Isles Area Monad Tetractys Esotericism Measurement Geometry Tetrad
308	The use of the axiophyte concept to describe ecological networks and botanical change in monad and tetrad data Ian Trueman Add to Reading List Source URL: bsbi.org.uk Language: English - Date: 2015-04-15 06:32:58 Metropolitan boroughs Pythagorean philosophy Sandwell Tetrad Wolverhampton Black Country Birmingham Monad Walsall Local government in the United Kingdom Local government in England West Midlands
309	Composable Scheduler Activations for Haskell KC Sivaramakrishnan Tim Harris1 Simon Marlow1 Add to Reading List Source URL: kcsrk.info Language: English Scheduling algorithms Concurrent Haskell Software design patterns Scheduling Scheduler activations Thread Software transactional memory Continuation Monad Computing Software engineering Computer programming
310	Flow-Sensitive Type Recovery in Linear-Log Time Michael D. Adams ∗ , Andrew W. Keep∗ , Jan Midtgaard† , Matthew Might‡ , Arun Chauhan∗ , R. Kent Dybvig∗ Abstract the cost of run-time type checks. This cost c Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-04-14 12:13:51 Models of computation Logic Mathematical logic Function Data-flow analysis Free variables and bound variables Algorithm Lambda calculus Monad Mathematics Elementary mathematics Theoretical computer science

UPDATE